Print out some Shibboleth attributes, even though they are not listed by request.getAttributeNames()