Thread:JayHart/@comment-26362067-20150708002824/@comment-26362067-20150708172644

I've started him. Haven't made a page for him yet, though (which is why I didn't link his name). Suppose I should do that.