Default to open: il film sulla storia dell’open source e Red Hat