Use my fork of fulltoc sphinx extension.
docs: Try a nasty RTD hack.
Revert the fulltoc madness.