Contribution #9492

Problem: en/3.1.16

Added main page link @ heading

Editor: Aliaksandr Melnichenka ( @astrosander )

Time: September 30, 2024 at 02:50 AM

GitHub commit: 1e755819cc7798a4eb2c47b2850da73570f195a5

+52 -50 lines changed