[@vilimaunula Participant 18 years, 9 months ago]

Hmm. Actually, the code that I copy-pasted from the above seems to be different from what I have on my hard drive. At least a number of “<p>” tags appear to be missing.