The two commits ignored here were a mistake. Regrettable. This commit that introduces these ignores is signed, so these ignores can be trusted.