Cargo-culting missing Javascript back in to fix scroll-spy problem.