tinyproxy: better patch-comments