All of these were in my local copy, but somehow never made it into the repository (still trying to get used to git's convention of adding files to a commit instead of including all by default as mercurial does...).