Altcoins at Their Highest Since Summer 2022: Is this a Mini-AltSeason?