Maybe someone will start selling a Nasdaq minus Musk index fund.