Hi everyone,Has anyone actually properly implemented remote_user_logout_href in Galaxy with external HTTP authentication? As probably those who have tried know, it is rife there doesn't seem to be a clean and robust way to do this? best,Leandro