So which is worse? - funding something people benefit from but is not part of your mission - funding something which is in your mission, but nobody uses?

The former is questionable. The latter is a just a waste.

Do you care about education outcomes? Or do you care about 90s symbols of education, like libraries.