Re: [PATCH] Remove the documentation from git