Here is my analysis from
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=24358#27 again: