Talk:Nova/@comment-38922577-20190325130853/@comment-25254386-20190325131533

Unless it was a really long time ago, at a quick glance I don't see anything in the history about that info being added. So unless it was under a different account with no edit summary I'm not sure the edit was actually ever made.