OK, thanks for answering. I am now back on the latest weekly rom, 9.1.3. Seems to be the last release for our phone, no more updates are being expected.
It works fine, gets me through the day usually, leaving around 30% of battery. When using intensively, it gives about 4 hours of screen on max...