Exclude some files we only need in the repository from the ZIP files generated by GitHub.
Fixing stuff after move.
Fix remaining test errors and failures.