[galaxy-dev] Bug: "Galaxy" logo link doesn't account for proxy-prefix

The "Galaxy" logo link in the top left corner of every page has href="/" regardless of proxy-prefix. <div class="title"> <a href="/"> <img border="0" src="/galaxy/static/images/galaxyIcon_noText.png"> Galaxy </a> </div>