hwlocality

69b92c21 - Highlight usage of non-doc comments after doc comments, record a few more safety preconditions