The PR with the small improvements it’s merged now, among some cleanup and fixes, most notable changes are the two new to site settings:
show_bottom_topic_mapshow_topic_map_in_topics_without_replies
11 « J'aime »