Philippe, Chun-Kuang, I applied this patch without realizing it is outside of my maintainer domain, and caused conflict in dim-tip, which I've resolved. Even with the conflict resolved, I think getting an AB after the fact would be good. Sorry about the inconvenience.