> This does not appear to have been pushed yet--are there any objections > to the patch? It looks like nobody who can push patches reads this mailing list anymore. So, well, maybe I should take over maintainership after all?