Contribution #9640

Problem: en/10.2.12

Added main page link @ heading

Editor: Aliaksandr Melnichenka ( @astrosander )

Time: September 30, 2024 at 02:50 AM

GitHub commit: 1e755819cc7798a4eb2c47b2850da73570f195a5

+56 -54 lines changed