2018-10-21 UTC
# 
heluecht[m] Meh ... This "redir" stuff is more complicated. We use it to invoke some "remote authentication". And though it is only needed for local users, we have to add it at places where we cannot know who will watch this content.