Changes since tag 80205-1-1

commit c676901c6bd89a2f37a665a666ac3f62ae290e28
Author: phyber <phyber@localhost>
Date:   Tue Oct 1 23:48:56 2019 +0100

    Fix TOC snafu

