Update to note that Issue #44 fixes ports/175841