[icebraining]

This is not new, though. What they're installing is not pure Ubuntu, but Guadalinex, which is a distro created by the Andalusian government in 2003, and which apparently moved from a Debian to an Ubuntu base since then.