At https://grass.osgeo.org/addons/grass7/logs/ I see "logs generated Mon, 29 Jan 2018". This seems to lead to the fact that recently added addons are not in the list of addon manual pages... Moritz