Late reply but I hope "better late than never applies". So, what happened is that I had read this post late at night, tried writing a response, failed due to sleepiness, and ultimately decided to postpone replying until after a good night's sleep. Of course, said good night's sleep had wiped all recollection of that plan...