The AI narrative now has a new trade — shorting software stocks