Dear box admins, to facilitate a structured handling of documentation issues, we (that is, at least Casey Ransberger, Hannes Hirzel, and myself) would like to be able to have people report such issues via Mantis. To that end, having a "Documentation" category would make sense. Could you please add this? Thanks, Michael