This event seems to be referred to as MediaWiki Developer Summit due to legacy reasons. I largely agree with the renaming, but we need to actually make the rename if we're not going to confuse people trying to talk about this.
I just fixed the main mediawiki.org page for this event, but I would like it to be more than just an informal happening. Could someone take on the task of actually making the rename?