more formatting; removed some references to old mining system