NameBio shows the name sold for $2,500 on November 22nd, 2018...
However, the
Flippa listing that ended 46 days ago on November 22nd says auction ended unsold, then relisted.
Show attachment 106479
The
new Flippa listing ended 10 days ago (unsold)...
Show attachment 106480
Not exactly.
HRC.io now carries a 2018 WHOIS creation date...
Show attachment 106476
Which leads me to believe the domain dropped, and was regged (or maybe caught somewhere) by somebody most likely not affiliated with the HRC campaign.