Procedure for handling bugs in the Docs Project