Translations:Extension:SimpleSAMLphp/136/en

As a workaround, one can change the "Logout" link to point to "Special:Logout" again by adding