What I added to my .bashrc

Gilli, did you figure out a better way to handle this?
Changed/fixed spec names while peer reviewing

Gilli, you've been doing great work here. This is definitely the most
solid progress we've made yet of all the deleted attempts. :) Please
look over what I've done here to make sure it's reasonable. I wish I had
more time to contribute these days. Anyway, glad to have caught up a bit
on what you've done.