Their gamescope compositor is free software at least.