Looks like @mencius hasn't received any replies!