Autodiff autoness

Hello,

You may have noticed recently that the autodiff wasn’t, uh,
automatically diffing: you had to click the “view both” button to turn
on the highlighting when you first visited the page.

Weird, that. Fixed now, but you need a new scroll.js file, so “shift
reload” or whatever dance your browser wants you to do to reload
possibly cached resources.

Also: there are a bunch of nasty exploits revealed in the browser today
so if you haven’t updated like today, update all your browsers and
browser-related things like Slack.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica