@screwlisp@gamerplus.org I see, thank you. Myself, I simply don't recall anything on this, at least not right now. @dougmerritt@mathstodon.xyz @jhlagado@jorts.horse