> Cc: "62536@debbugs.gnu.org" <62536@debbugs.gnu.org>
> From: Wilhelm Kirschbaum <wkirschbaum@gmail.com>
> Date: Mon, 03 Apr 2023 10:26:59 +0200
>
> These two patches should then be sufficient to better handle
> heredocs for electric-pair-mode:

Do these replace the two previous ones you posted?  Or are they in
addition to them?