Merge branch 'dev' into 'main'

Fix a severe event desync problem in perms

See merge request !84