Manual genre: upstream proof state display controls from TPiL #475
Description
TPiL allows authors to control which proof states are expanded by default, and to quote the contents of proof states in the text. These should be upstreamed.
{{ message }}