Do you have an opinion on the suggested solution ? This is a critical bug which we need to fix ASAP (we now have multiple users 'sharing' the same username !). As the suggested solution is fairly radical, I'd like to make sure such a change wouldn't diverge from mainline, were we to patch our local copy of Roundup.

Thanks !