I believe we want to be able to refer users who have bugs to the Guix manual sections on Contributing. In , the contributing instructions in the Guix manual were not understood properly. I hope the attached patch could alleviate this a little. Regards, Florian