On 2019-06-03 19:43, Timon Gehr wrote: > This has not been discussed, but I agree it should be addressed somehow. > The main issue is that right now "_" is a valid identifier. Can a '*' be used instead? -- /Jacob Carlborg