Extension:EmbedHighlightedCodeFromFile