Fixed: Diff versions on dashboard

> Indeed. Something has changed so that the necessary JavaScript and CSS
> files aren’t being deployed for the PRs. I’m investigating.

The path to the relevant JavaScript file was wrong. Probably a
cut-and-paste error (or the moral equivalent thereof) when I fixed the
DeltaXML license.

I’ll have to rebuild the PRs so it’ll take a little while, but
everything should be sorted out soon.

Sorry about that.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica