adds pivotal to bootstrap.el