The government should use free software.