pull fewer shenanigans with domain names
fix mime type of docbook files