`multitext` always has `Pre` format
When using multitext
for translations (reporter/Autolib/Reporter/Stack/Type.hs
), The text behaves rendered on webpages as if the text was using the Pre
constructor even if explicitly using Doc
constructor of Output
(output/Autolib/Output/Type.hs
).
E.g. here:
the former has no translations and is created as Doc
directly, while the latter is using Doc
in combination with multitext
.