[tor-commits] [tor/master] Fix ReleaseNotes so that entries about docs are in Documentation section.