Fix copy and paste bug
Fix copy and paste bug

The metadata parser tried to remove an @source prefix from a line starting
with @type, leading to the compiler trying to include templates like
"@type lemma_footer.tex" instead of the correct "lemma_footer.tex".

yzhs/alexandria,yzhs/alexandria-go,yzhs/alexandria