Tokentextarea2: Converting <h3> to <h2> so ids can be given
Tokentextarea2: Adding blurb about synchronizing
Wordpress theme: Setting decimal mode for <ol>
RELEASE.md: Documenting final steps towards release