Add optional 'fast' profile when generating manual for html-only output. Saves 50% of time.