3 ms·

Lol, this made day. In the meantime all others (but zig) switched over to unidentifiable Unicode identifiers