It seems that the documentation build was broken. I've fixed it in attached patch.
I'm unsure which version number to give this patch (to continue with numbers from previous skip scan patches, or to
startnumbering from scratch again). It's a rather big change, so one could argue it's mostly a separate patch. I guess
itmostly depends on how close the original versions were to be committable. Thoughts?
-Floris
