<div dir="ltr">Are the HTML files that constitute <a href="http://www.CentOS.org">www.CentOS.org</a> built using only a text editor or are more sophisticated tools used? Either way, could you share the names of the programs, please?<br><br></div>