On Wed, 2014-12-17 at 14:43 -0800, Roland McGrath wrote: > I think you should first propose just removing it and let Kaz tell us if > there is anything wrong with that. Yes, that would be best thing to do, maintenance-wise. See the third paragraph of what I wrote.