User avatar
sijmen @sijmen@shrimp.vijf.life
1d
@hazelweakly it usually is a second \| key (which also isn't very useful). AltGr is in stead of the right Alt key