Fix Devoxx banner hyperlink