I'm using 8.0 for local development now, so having the phpstan configs targeted at 7.4 by default makes things inconvenient.