For the archives, I'd like to point to https://issues.shibboleth.net/jira/browse/IDP-723 Where there was a discussion about what can and cannot be relied upon during logout. Putting a post here may make it easier for others to find.