https://www.patreon.com/posts/34020331
Back in a0.17 it was changed from fairly strong feedback and an impromptu vote. Essentially people wanted Dave to have his own name given how established of a backstory he had as it felt odd you could name someone who clearly had their own life.