[drupal-devel] [bug] Changing roles for a user requires menu cache invalidate