Propose to withdraw this RFC in favor of PR #464