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