Once I gave up on the Procrustean 1.5-arguments-constraint of the traditional
environments (AMS theorem variants), then I went all-in on tcolorbox. It solves
*a lot of problems* in reliable and dependable ways. Styling and layout are so
much easier. I could make a list.
I agree that moving footnotes to a different page (if we even are successful at
that) is pretty bad. But as I have said many times, footnotes are the farthest
thing away from structured authoring that I can think of. I agree that we
should make progess on asides as they are often a better alternative.
There are intermediate mode="environment" templates which create the LaTeX to
implement a "block". So, for example,
<xsl:template match="proof" mode="environment">
could create something other than a tcolorbox. But then all the styling options
go away. I have not been advertising these "environment" templates as a public
interface since I'm not wedded to the exact nature of the arguments. Many of
them use xparse (iirc) which is the other big improvement (under the hood), so
that could replace tcolorbox in places. So a typical block goes
authored in PTX -> isolate title, etc in xparse/tcolorbox -> style if tcolorbox
There is no way I can open a new front right now to enable a wholesale set of
variations in the LaTeX conversion. I'm not even done with styling (fonts right
now, figures and tables soon). But I am willing to assist with any effort to
move any conversion to a better place. I have invested a lot into pushing many
aspects of all the conversions down into the -common template, in hopes of
making the tricky bits easily reusable for others.
Copious documentation takes time, too. Up late last night writing about fonts
in preparation for styling. Not done yet.
Rob