{# html fragment to be included in SSO pages, to show the user's profile #}
{% if user_profile.avatar_url %}
{% endif %}
{# users that signed up with SSO will have a display_name of some sort;
however that is not the case for users who signed up via other
methods, so we need to handle that.
#}
{% if user_profile.display_name %}
{{ user_profile.display_name }}
{% else %}
{# split the userid on ':', take the part before the first ':',
and then remove the leading '@'. #}