@aeva Yeah, I'm regretting a bit using "*professional* experience" in the question, since it does suggest paid work, which wasn't my intention. I wanted to differentiate from "user experience" and "developer experience", which are not the kind of "experience" I was asking about. "Work experience" might be a better term, since it can encompass both.
Actually, fuck it, I'm just going to change it.