Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Simple formatting of some modules #24927
Overall this looks reasonable. There were some nits noted above.
@nrc maybe you should do another pass with your fixed