PR: https://github.com/aibasel/downward/pull/208

The new wiki pages look good to me.

I compared the MoinMoin output before and after the change and then went ahead and merged this. If something breaks, we'll see it in the wiki diffs. The only visible change (except for whitespace changes) should be that we don't format paper references as list items (making this work for generic markup targets proved difficult).

The txt2tags markup that's currently printed for the wiki docs works only because we directly convert it to MoinMoin syntax. I'd like to make the output valid txt2tags markup, so that it can support other destination formats as well, such as Markdown. Scorpion uses this to build its documentation at https://jendrikseipp.github.io/scorpion/

I checked the before/after output and believe that the changes preserve the desired final HTML output for the wiki.

Can someone please have a look at the changes?