History of 2015-10-10 A trouble with Org-mode HTML export

21:44 UTC Revision 1 . . . . Marcin BorkowskiI’m not sure whether this is going to be useful to anybody but me, but here’s a problem that cost me some time, and in case I run into a similar issue in two years’ time, let me write it down so that it’s not forgotten.