@domotorp@mathstodon.xyz @tao@mathstodon.xyz That's because I did precisely zero due diligence writing it - it's the new way!