Fix nightly flashing GIF; load relevant JavaScript again on the releases pages.