Andrea Bolognani d39e3b71ea HACKING: Regenerate
When updating the source file in commit bd4f4d168660, I forgot
that we also store the generated plain text version in git and
didn't regenerate it.

I also missed one spot that required an additional <p> tag, so
fix both mistakes in one go.
2017-01-04 14:53:11 +01:00
..
2016-11-21 13:15:12 +01:00
2016-12-02 09:25:13 +01:00
2016-11-11 12:15:03 +00:00
2014-12-02 07:30:10 +01:00
2015-08-25 07:21:33 -04:00
2015-03-23 09:01:30 +01:00
2017-01-04 14:53:11 +01:00
2016-08-02 14:20:31 +02:00
2014-12-02 07:30:10 +01:00
2016-11-11 09:31:10 +00:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2016-11-22 14:05:24 +01:00
2016-11-22 14:05:24 +01:00
2016-11-11 12:15:03 +00:00
2014-12-02 07:30:10 +01:00