The CMS Run Registry: Data Certification and Publication System tool - CMS Collaboration (2019)