Pushes to devmanual don't currently show up on the gentoo-commits mailing list.
more general than just devmanual.
Finally fixed :)