Multiple delimited names in the name tag

There’s a separate thread to collect feedback on the new proposal. Of note for the participants here, the proposal currently doesn’t address the approach of using a semicolon to delimit multiple names in name=*, which was discussed at length here.