I use `#+OPTIONS: num:t` to have my sections numbered in `GitHub`. How do I make the section numbers appear in the table of contents?