lack priority propagation. So the best thing for the TODO-list would be
to change the entry to "Priority Propagation for rwlock(9)"
So, comment out the "Usable lock implementation with SX-semantics" entry
for now. I'll rename it to "Priority Propagation for rwlock(9)" when
someone submits a new, complete description for this entry.