Simplify counting installation section; commit synced with https://github.com/cusu/bob-gui/commit/a85f7b86c15fd016da56bdea2e172e9a1d42e153