(does anyone use github suggestions for repo names? i just did!)