Contribution #9092

Problem: en/7.1.17

Added main page link @ heading

Editor: Aliaksandr Melnichenka ( @astrosander )

Time: September 30, 2024 at 02:50 AM

GitHub commit: 1e755819cc7798a4eb2c47b2850da73570f195a5

+75 -73 lines changed