Aren't these Debian images equally "their", but available for free? Aren't the free images what Bitnami is discontinuing?