XWIKI-11212: Any registered user can edit the default Flamingo theme