2 @paul_rietschka Ah well, we already discussed this above :) Anyway: twitter.com/gtconway3d/sta… May 13, 2022 · 13:18