On Fri, 2021-03-26 at 04:32 -0700, John Soo wrote:
> Hello zimoun,
> 
> I believe it can be closed, thanks!

Done.  You can close bugs yourself by sending
an e-mail to ${BUG-NUMBER}-done@debbugs.gnu.org.