This is such awesome work! We *are* going to get this integrated with the ongoing work for "libpglite".