rename doc so github picks it up