>> Since you have a real use case here, and the case of someone trying
>> to use a degree sign without the EC font is only hypothetical, I
>> have instated your proposed definition for \textdegree.
>
> Thanks.
For consistency I think you should apply the following.
Werner
======================================================================
--- texinfo.tex.old 2022-11-13 07:17:19.891786983 +0100
+++ texinfo.tex 2022-11-13 09:03:06.497293081 +0100
@@ -10489,7 +10489,7 @@
\DeclareUnicodeCharacter{00AE}{\registeredsymbol{}}%
\DeclareUnicodeCharacter{00AF}{\={ }}%
%
- \DeclareUnicodeCharacter{00B0}{\textdegree}
+ \DeclareUnicodeCharacter{00B0}{\textdegree}%
\DeclareUnicodeCharacter{00B1}{\ensuremath\pm}%
\DeclareUnicodeCharacter{00B2}{$^2$}%
\DeclareUnicodeCharacter{00B3}{$^3$}%
