Thanks for the explanation and write up Siddhesh!Update the next morning: Things look to be working properly again.
Not sure if it was linked to something cached locally or on the devops services side but giving it a few hours ironed out the problem. I will definately keep your remarks in mind and ask the user to test thoroughly, we might still have issues that we haven't noticed yet but for now things look to be working fine. If we do spot issues we'll use your tips to remediate.
Thanks!
Pieter