Merge branch 'ticket32207'

diff --cc src/mainpage.md
index c5cb1af235d7f3e957513ae919073f267a7a9ae2,63a5b0a3f4c4ccbb0cf613cb635959752e05db60..3901e795597b43cd2eff7884f71c010a09807554
--- 1/src/mainpage.md
--- 2/src/mainpage.md
+++ b/src/mainpage.md
@@@ -41,8 -41,8 +41,9 @@@ Tor repository
  
  @subpage time_periodic
  
 -@subpage publish_subscribe
 +@subpage configuration
  
++@subpage publish_subscribe
  
  @page intro A high-level overview