Looks like @amichman hasn't received any replies!