Green Man Festival 2023: festival season's understated triumph