a short seller appeared on cnbc. today. he recommended to short anet. anybody remember his name and/or the name of his hedge fund?