For those using editors with mouse, it's very easy to add a character anywhere. ...

		brenoguim on April 5, 2024 \| parent \| context \| favorite \| on: Excellent succinct breakdown of the xz mess, from ... For those using editors with mouse, it's very easy to add a character anywhere. Doesn't matter the place.