Fixes #3957: Documentation is missing some more level 2 headers