On Wed, Aug 25, 2021, at 7:14 AM, Lars Ingebrigtsen wrote:
The mode symbol isn't evaluated.
Ah, my mistake!