Attached is the v5 patch.
About v5: doc gen ok, global and local make check ok.I did a few tests on my laptop. Is seems that copying takes a little more time, say about 10%, but vacuum is indeed very significantly reduced, so that the total time for copying and vacuuming is reduced by 10% on overall.
So it is okay for me. -- Fabien.
