11.0.7 (2020-05-26) Fix Fix navigation to sections with numbers in the name (#1595) (9d26371), closes #1595 #1594