Talk:LeafyIsHere/@comment-30549738-20160624032731/@comment-33878615-20160704162643

You’re right. I guess that’s where the “Vail” comes from. I’ve added a citation to the article.