Contribution #9488

Problem: en/3.1.17

Added main page link @ heading

Editor: Aliaksandr Melnichenka ( @astrosander )

Time: September 30, 2024 at 02:50 AM

GitHub commit: 1e755819cc7798a4eb2c47b2850da73570f195a5

+47 -45 lines changed