<@U092N7GGG> But if we assume we average making th...
# language-proposals
r
@yole But if we assume we average making that change once a day, that comes out to a whole 3 minutes per year, and my efficiency is always so high those 3 minutes are vital 😉