A user has noticed that several figures (but not all) are missing in the
PDF output of the docbooks.
The figures are there in my current docbook builds - so I'm not sure
what went wrong.
Let's fix this if we have to redo the build. Otherwise I think I'd let
this one go for now.