The money will go directly into a pension fund, without passing through the General Fund, leaving some to wonder whether at least a portion could have been used to bolster the budget that is about to de-fund branch libraries, community centers, and other staff and services.