Should probably add for context that we already provide DOIs for StanCon contributions (discussed e.g., StanCon contributed talks now have DOIs).
I think DOIs would be useful (at least because most reference managers let you easily import items by DOI). Also agree that fleshing out the submission process in just a bit more detail makes sense. But I would rather it stays quite simple - we might at some point want to run a journal, but I don’t think this is the time :-D