Now that busy protects against new write mappings we can update the PGA_WRITEABLE usage. I found the old conditional somewhat awkward and relying the presence of busy rather than the absence makes this much more natural.
This is the final diff major diff in this patchset. The remainder simply make use of the new concurrency afforded by them.