rename markdown documents so github recognizes them (really?)