Looks like @vigano hasn't received any replies!