Reply to thread

Here are the four patches. I am about to see if they still apply fine to current master.

 

These merge fine, so perhaps we need a new GIT branch from the patches. Let me test first!