Updated. It took bloody ages but that was kind of expected. So were some no-longer-working patches. Those should be just a matter of time.

What was not expected is that the phone still does not boot with TOHOLED on. I still have to take it off, boot up, and only put it back on once the UI has started.

Pity.