#36502 (https://debbugs.gnu.org/cgi/bugreport.cgi?bug=36502) if you are
inclined.