David Kastrup <dak@gnu.org> writes:

> Well, here is the current patch.

Uh, actually here.