Autocorrection in Projectional Editors. - André L. Santos 001; Ângelo Mendonça (Programming, 2024)