You nerdiest of mayors