On Wednesday, 2 September 2020 at 13:31:25 UTC, Adam D. Ruppe wrote: > I could write that in a few hours. I went ahead and did it: https://dwidder.arsdnet.net/ might move later but eh the basics work i think.