More minor bug fixes to the beta, now RC3 comes ...

I've fixed more bugs, many of them user reported. The list of known errata is quite small now. The list of serious known errata is zero ;).

Therefore, I'm releasing v4.00.12 RC3 in a few minutes. I'm going to continue testing, performance testing and tuning, and documentation updates. Once all this is finished, I'll release the final. I'm going to make sure it is done right, but at the same time am committed to finally get v4 out the door so we can move on to even bigger and better work.