maint-bin: Added command to export just the manual.