Talk:Cora/@comment-24304025-20180224204250

I know that a discussion happened regarding the last name Mills. I do not remember what was decided, but, since it remained in the intro section, is there a specific reason why it was not added in the title of the page?