Add update december

static/html_content.py

@@ -45,7 +45,7 @@ INTRO_HTML = """
     </p>
     <div class="change-log">
     <p style="margin-top:10px; text-align:start !important;">
-<span style="font-variant:small-caps; font-weight:bold;">UPDATE (DEC 2025):</span> We introduce a brand new benchmark for Module Completion, based on <a href="https://tinytapeout.com/" target="_blank">Tiny Tapeout</a> with more than 1000 real-world designs. Added <span>YoSys EQV</span> for formal equivalence checking
+<span style="font-variant:small-caps; font-weight:bold;">UPDATE (DEC 2025):</span> We introduce a brand new benchmark for Module Completion, based on <a href="https://tinytapeout.com/" target="_blank">Tiny Tapeout</a> with more than 1000 real-world designs
     </p>
     <p style="margin-top:-6px; text-align:start !important;">
 <span style="font-variant:small-caps; font-weight:bold;">UPDATE (NOV 2025):</span> We release a new codebase <a href="https://github.com/HPAI-BSC/TuRTLe" target="_blank">TuRTLe v2</a> with API support and local Docker evaluation. Added <span>Kimi K2 Inst</span>, <span>DeepSeek V3.1 Terminus</span>, and <span>Google's Gemini 2.5 Flash</span>