docs: fix dev_debug() braino in dynamic-debug-howto.txt