Looks like @euclides hasn't received any replies!