Addressed and documented in a888e0f.