Decrease heading level of some titles in documentation