2023 December 29
This gets rid of the maddening enforcement of capitalisation of the
first character in post titles. What finally tore it for me is when
it insisted on capitalising the lower case Greek letter π, even
when I tried tricks like inserting a   or before it.