My system: Ubuntu 16.04, libgtkmm-3.0-doc 3.18.0-1, libglibmm-2.4-doc 2.46.3-1, devhelp 3.18.1. Docs are accessible via devhelp as expected. I note that the two links you specify were reported in 2011 and 2007…