> It's one of the most interesting operating system projects out there yet it gets not much attention. That's a pity.

From a research project perspective, it is interesting.

Software which is AGPL3+required contributor agreement is IMHO rather uncompelling to contribute to due to extremely asymmetric developer rights. That has given me personally little motivation to tinker with or examine the source code of their work-in-progress.