gitignore and doc fixes.