Improved KeyCluster accidental hiding.
Experimental docs now use the mainline doc theme, instead of a copy of it.
Merged master.