docs: Stop using DEBUG() without DEBUG_TYPE in the ProgrammersManual