Remove comments claiming we use a private PID namespace

This is no longer the case since
524f89f1399724e596f61faba2c6861b1bb7b9c5.
Document some primops
Update release notes