devmanual.gentoo.org does not support HTTPS (by design)
The current rules for gentoo.org explicitly include mapping http://devmanual.gentoo.org/ to https://devmanual.gentoo.org/, but devmanual.gentoo.org does not support https at all. Please change the rules to exclude this URL.
Trac:
Username: ABCD