re: #108 KGxvi

I think I prefer Harris-Castro. But Beto isn’t a terrible choice.

I like that too.