Looks like @eiffel4all hasn't received any replies!