proj: update gitignore, rename doc/