unregretted user-minutes is one thing, unregrettable user-minutes quite another