Patches pushed as 2ab0c55e3f4718034fc3253ec6aa435b490fc4f0 and following
with a few fixes (e.g. extra licenses for libmixed).
Thanks.