Bring it back. GitHub export doesn't seem to include submodules anyway. Closes #1071.