After a distupgrade from debian squeeze to wheezy, kile kept messing around with the file encodings. Ignoring any values set in the “Open/Save” config dialog, kile took my UTF-8 files and saved them in ISO-8859-1. This is not as funny as it may sound, especially not if you use version […]