GitHub: PR #3118 comment