Browser user script to add a permalink to the JATS tag library pages