Don't assume symlinks are ignored by .gitignore
Synchronize HTML version numbers
Drop use of Ninja for App Engine code