@359dd83b @14e9d346 

Absolutely saddening and maddening that it's so problematic! But I'm also really thankful that we have the type of ethos in our little corner that we can discuss all this (with genuine intentions to just figure.it.out.).

Given that you found some value in the Hoel piece, I'll have a look (otherwise I wouldn't).