Fix non UTF-8 characters in source code
Authored by: guillaum1 2025-08-11
Parent: [r1038]
Child: [r1040]