Danke für den Formatierungshinweis, dafür zeichnet sich Prism (das Highlighting-Skript) zuständig, und mir fehlte die Zeit dem nachzugehen … werde ich demnächst einen Blick drauf werfen.