Looks like @jheuvel hasn't received any replies!