StevenXClontz’s Twitter Archive—№ 2,802

@siwelwerd @AIMathematics @MitchKeller "won't be difficult" is based upon the fact that 90% of my changes were of the form \begin{theorem} to <theorem> and \end{subactivity} to </task>. Inserting <p> tags is the trickiest.