On Thu, Oct 13, 2016 at 06:42:40PM -0700, Kir Kolyshkin wrote: ... > > Way (3) is what this commit offers. It seem to work fine while being > the least intrusive. > > Let me know what you think. Already voted for (3) :-)