try code2html, source-highlight and pygmentize in that order (code2html package installation fails on Arch)
try code2html, source-highlight and pygmentize in that order
(code2html package installation fails on Arch)

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer