Robin Berjon @robinberjon · 10 Nov 2021 Replying to @null and @paulduplantis Credit where due: this came to me from @dauwhe.
