> Sadly all of this is taking time away that could be spent on real progress and learning about coding/FP/PL/algorithms/type theory/etc.

Well we could also put a halt to the production of tesla and go back to producing the perfect vehicle, the Saab 900 Turbo, but you know, I don't get to (yet - I will be King one day) determine what others do