Consistently use \POSIX{} to denote POSIX. There were at least two different

ways to do it previously (not counting module names).