Bug#1048363: Does that still reproduce with 10.0.2?

[Thomas Braun]

Is there something to do for me as part of upstream? If yes, I'm happy
to look into it for the next release. From glancing over the logfile it
seems to be purely doc related.

Thomas