SiriusXM Holdings 2023 Annual Meeting of Stockholders