On Mon, Jul 4, 2022 at 8:57 AM András Simonyi <andras.simo...@gmail.com> wrote: > It seems to me that "*" as a key is sophisticated enough that if we have to > make a decision > about the default fontification then it is better to err on the side > of supposing that a user using it knows what they are doing,
+1 Bruce