Tools redirects; turn rewrite engine on!
Doxygen: add production; fix funcgen.