Note that I stop taking changes for v6.20 (except fixes) by next week. I you want a chance to have this code in 6.20, please make sure a v13 is in my inbox by tomorrow. -Joerg