[yatac42]

Note that they're actually citing "Mitchell, Webb et al." in the paper.

[mannykannot]

Also footnote 5: "We originally used Microsoft Word for this but it kept putting the entire document into 8pt Times New Roman whether we wanted it to or not."