[ LaTeX-mode] agda.sty tweak: make mathcal and mathscr use different
fonts (or styles of the same font). Also change some urls to use https.