remove bootstrap cruft; minor changes
clear up some debatable facts in smooth-ricci-flow