@liw @cstanhope well as it turns out, I do think @dthompson may be wrong https://debbugs.gnu.org/cgi/bugreport.cgi?bug=36872#26
but I think we're not in strong disagreement, more exploration
it turns out a lot of people are wrong on the internet all the time (including me)