Thx. Just a moment ago I thought it got removed, but it must have been a browser glitch, because it simply wasn’t there, even on refresh.
Glad it wasn’t lost! It’s a good one.