The bug has been found. The fix is now in the release pipeline and should find its way into one of the next server releases.