Update editors/kate to version 4.12.5_1