and a few other documents online
"OS X version 10.7 Lion is an Open Brand UNIX 03 Registered Product"
Is that true?
I can't find any evidence of that on the opengroup.org websites
(including historical via web.archive.org) for that particular
version of Apple's MacOS/X aka OS X aka macOS.