[informal bug report] site misses a "Make a patch HOWTO"