Resulta que diferir el SyntaxHighlighter al onload no funciona, así que
se revierte