Fixed: --public-debug-info messages aren't HTML-escaped.