removed one guaranteed source of future version inconsistency: header.html is now automatically generated
removed one guaranteed source of future version inconsistency: header.html is now automatically generated

rpaloschi/numeric,Wen777/numeric,beni55/numeric,desmosinc/numeric,sloisel/numeric,JunaidPaul/numeric,rpaloschi/numeric,desmosinc/numeric,exeoris/numeric,desmosinc/numeric,yjzhang/numeric,rpaloschi/numeric,yjzhang/numeric,beni55/numeric,jeancroy/numeric,sloisel/numeric,beni55/numeric,JunaidPaul/numeric,exeoris/numeric,Wen777/numeric,yjzhang/numeric,jeancroy/numeric,JunaidPaul/numeric,jeancroy/numeric,exeoris/numeric