texstudio 2.12.8 -> 2.12.10