Today I fixed the PHP section of the warehouse by writing a Linux sed script that would: open a file get all the content between the <pre> and </pre> tags, and convert those offending characters to something that wouldn't mess up my HTML pages.
[
add
]
[
|
|
...
]