Hi,

I submitted my patch set as https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67557.
For some reason it seems it takes while to get through, not sure what the
problem is, but once it shows up, feel free to test it out.

Tomas

--
There are only two hard things in Computer Science:
cache invalidation, naming things and off-by-one errors.