Com base em sugestões, adicionou mais recursos a 'Experimentar'. Agora você pode obter diretamente os repositórios do github, excluir os antigos e corrigir a cintilação que estava me incomodando com um bom e velho buffer duplo.