logout url, default_ipe_locale, and some more small refactoring