Tinkering my workspace bootstrap file since I modified my dotfiles