Robin Berjon @robinberjon · 20 Apr 2022 Replying to @johnnyryan and @coolharsh55, @Andreas_Schwab, @repasi That's very unfortunate. Do you know the reason for insisting on keeping a bad text and ignoring our experience from the past four years when the fix is small and simple? ♥ 1