Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix heading line-lengths #49685
This should clean up some of the warnings found by building the documentation:
I should check the doc build result before merging. I am not sure if I got all of them.