Rebuild developer-manual and tidy with 'HTML Tidy for FreeBSD version 5.8.0'