Well, if you didn’t recall the previous discussion but nevertheless proposed a similar idea, that is an indication that there is some real need.I actually lean towards adding \* and calling it a day.
+1 (not surprising given my opinion given in the 2021 thread). I'd volunteer to do this (in February). Lukas
