Looks like @gurevich hasn't received any replies!