It's an idealism, for sure; but after reading about experiments like Hamburg's maybe we'll get there eventually. But what's far more important (and practical)

It's an idealism, for sure; but after reading about experiments like Hamburg's maybe we'll get there eventually. But what's far more important (and practical) than mandating libre software is mandating libre file formats, and this is what we've seen happen somewhat successfully around the world: governments requiring official documents to be primarily available in PDF/A and/or OpenDocument (c.f. OpenOfficeOrg/LibreOffice) instead of (say) MSFT's Office OOXML formats.