make /include.orig.js available again
Merge pull request #3795 from jrgm/fix-include-404

make /include.orig.js available again. Fixes GH-3212.

Looks good to me! r+