Another attempt to fix GitHub's broken <pre>