Deleting Manual from Github