Make docs remember whether you were last at full or basic