He claims to have been working on Urbit since 2002, and the first UR post was from 2007. It's entirely believable to me that the name Urbit came first (albeit not publicly), but the names are very obviously related and the quote I pulled above shows that he considers some post-2014 project a continuation of UR. I can believe the specific claims of the comment you linked, but I think it dances around the fact that these two projects are purposefully tied together by nomenclature. Whether UR or Urbit was named first in Yarvin's head isn't really the point.