Fix color of developer mode config value.
Add a todo to the Waf-Sphinx tool.
Correct Waf version in Sphinx tool.
Warn that 'makeglossaries' may be missing.