Thread:Dr. Dementor/@comment-252417-20171124213222/@comment-252417-20171125115900

Considering we're going with Vander-Grauff, instead of Vandergrauff, maybe we should do the same here?