With the help of
@ac husker , we have finally gotten to the bottom of this issue through @God Mongo confirming that Ho'ohuli committed but did not sign NPG-style in December. No reason to worry, as of now, but would have been nice if he'd already inked. Oh well.
Just strange that HOL would report it that way, go essentially silent for a while despite being asked, and then sheepishly have Mongo post it in a response to a two-page thread that's not even pinned. It's an important news item for that site and guys who aren't on other boards. Again, oh well.