HTML tags or wiki text?

This is a recent change, gerrit:99195. There was a brief related discussion somewhere but I don't know if the rationale for the change has been explained anywhere. Siebrand also run bots for the translations.

Nemo (talk)11:59, 7 February 2014