so it seems things are stabilizing. The CI builds. The recent commits
from Nicolas re events seem like goodness to me. Are we agreed that I
should tag the a4a08f98c17b23ad54b5e361ffc0280e2ea8e0c3 commit or does
anyone suggest an earlier one? This commit has VM sources that are
unchanged since Pablo Tesone's fix for gcc compilation of immediate floats.
It includes the socket name lookup fixes Levente wanted, and it has very
localized but useful fixes for events. My vote would be to choose this.