- Updated manual
- Added <redirect/> feature to the manual language, to generate
redirection in HTML manuals