Thanks for the nudge. This is now deployed. Clearly a very good idea, so thanks for that, but also I feel bad that it took you a month to get me to do the right thing. So super thanks for your persistence.
And here’s the commit:
1 Like