DougMerritt (log😅 = 💧log😄)dougmerritt@mathstodon.xyzOct 18, 2026, 6:28 PM@kenshirriff Yes, thanks, and oops, sorry that I missed your reference.