Cross-referencing crashes on https-pages

See commit description.