> I've asked Michael about the current status and offered my help in case > we also want to document more high-level properties of futex, like how > to use it properly. Thanks for taking this on. The futex(7) man page seems like the right place for that, and it's rather thin now.