diff --git a/admin/site/theme/layouts/shortcodes/submission.html b/admin/site/theme/layouts/shortcodes/submission.html
index eb44834dfd544b23c649cbb45901287fa658e320_YWRtaW4vc2l0ZS90aGVtZS9sYXlvdXRzL3Nob3J0Y29kZXMvc3VibWlzc2lvbi5odG1s..b1a333d9a68522e71b3c9cfabe97b8cccf8b648c_YWRtaW4vc2l0ZS90aGVtZS9sYXlvdXRzL3Nob3J0Y29kZXMvc3VibWlzc2lvbi5odG1s 100644
--- a/admin/site/theme/layouts/shortcodes/submission.html
+++ b/admin/site/theme/layouts/shortcodes/submission.html
@@ -1,7 +1,7 @@
 <iframe id="iframe" name="iframe" style="border-style: none; width: 100%" onload='(function() {
   window.addEventListener("message", (event) => {
     if (Number.isInteger(event.data)) {
-      this.style.height=event.data + 32 + "px"
+      this.style.height=event.data + "px"
     }
   })
   }).call(this)'></iframe>
diff --git a/metadata/releases.toml b/metadata/releases.toml
index eb44834dfd544b23c649cbb45901287fa658e320_bWV0YWRhdGEvcmVsZWFzZXMudG9tbA==..b1a333d9a68522e71b3c9cfabe97b8cccf8b648c_bWV0YWRhdGEvcmVsZWFzZXMudG9tbA== 100644
--- a/metadata/releases.toml
+++ b/metadata/releases.toml
@@ -1118,9 +1118,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CRYSTALS-Kyber]
 2022-09-08 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -1121,10 +1122,11 @@
 
 [CRYSTALS-Kyber]
 2022-09-08 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CRYSTALS-Kyber_Security]
 2024-01-16 = "2023"
 2024-05-26 = "2024"
@@ -1127,7 +1129,8 @@
 
 [CRYSTALS-Kyber_Security]
 2024-01-16 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CSP_RefTK]
 2021-01-12 = "2020"
@@ -1136,6 +1139,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CVM_Distinct_Elements]
 2025-02-07 = "2024"
@@ -1139,8 +1143,9 @@
 
 [CVM_Distinct_Elements]
 2025-02-07 = "2024"
+2025-03-19 = "2025"
 
 [CVP_Hardness]
 2023-02-05 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -1142,8 +1147,9 @@
 
 [CVP_Hardness]
 2023-02-05 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CYK]
 2016-04-27 = "2016"
@@ -1157,6 +1163,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CZH_Elementary_Categories]
 2021-09-14 = "2021"
@@ -1165,6 +1172,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CZH_Foundations]
 2021-09-14 = "2021"
@@ -1173,6 +1181,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CZH_Universal_Constructions]
 2021-09-14 = "2021"
@@ -1181,6 +1190,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CakeML]
 2018-08-16 = "2018"
@@ -1594,9 +1604,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CoSMed]
 2021-12-14 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -1597,9 +1608,10 @@
 
 [CoSMed]
 2021-12-14 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CofGroups]
 2009-08-09 = "2009"
@@ -2057,6 +2069,7 @@
 
 [Coppersmith_Method]
 2024-06-13 = "2024"
+2025-03-19 = "2025"
 
 [Coproduct_Measure]
 2024-08-22 = "2024"
@@ -2060,6 +2073,7 @@
 
 [Coproduct_Measure]
 2024-08-22 = "2024"
+2025-03-19 = "2025"
 
 ["CoreC++"]
 2006-05-16 = "2005"
@@ -2088,6 +2102,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Core_DOM]
 2019-01-07 = "2018"
@@ -2098,6 +2113,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Core_SC_DOM]
 2020-11-26 = "2020"
@@ -2106,6 +2122,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Correctness_Algebras]
 2021-10-20 = "2021"
@@ -2113,9 +2130,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Cotangent_PFD_Formula]
 2022-03-16 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2116,9 +2134,10 @@
 
 [Cotangent_PFD_Formula]
 2022-03-16 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Count_Complex_Roots]
 2017-10-18 = "2017"
@@ -2130,6 +2149,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Countable_Sums_and_Discrete_Distributions]
 2024-06-04 = "2024"
@@ -2133,7 +2153,8 @@
 
 [Countable_Sums_and_Discrete_Distributions]
 2024-06-04 = "2024"
+2025-03-19 = "2025"
 
 [Coupledsim_Contrasim]
 2023-10-11 = "2023"
 2024-05-26 = "2024"
@@ -2136,7 +2157,8 @@
 
 [Coupledsim_Contrasim]
 2023-10-11 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CryptHOL]
 2017-05-11 = "2016-1"
@@ -2149,6 +2171,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CryptoBasedCompositionalProperties]
 2014-01-11 = "2013-2"
@@ -2166,8 +2189,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Crypto_Standards]
 2023-06-13 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2169,8 +2193,9 @@
 
 [Crypto_Standards]
 2023-06-13 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Cube_Dissection]
 2024-11-25 = "2024"
@@ -2174,6 +2199,7 @@
 
 [Cube_Dissection]
 2024-11-25 = "2024"
+2025-03-19 = "2025"
 
 [Cubic_Quartic_Equations]
 2021-09-03 = "2021"
@@ -2181,7 +2207,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [CubicalCategories]
 2024-03-04 = "2023"
 2024-05-26 = "2024"
@@ -2184,7 +2211,8 @@
 
 [CubicalCategories]
 2024-03-04 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [DCR-ExecutionEquivalence]
 2023-06-21 = "2022"
@@ -2272,6 +2300,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Datatype_Order_Generator]
 2012-08-07 = "2012"
@@ -2292,6 +2321,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Decl_Sem_Fun_PL]
 2017-07-24 = "2016-1"
@@ -8906,9 +8936,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [SCC_Bloemen_Sequential]
 2022-09-09 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -8909,9 +8940,10 @@
 
 [SCC_Bloemen_Sequential]
 2022-09-09 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [SCL_Simulates_Ground_Resolution]
 2024-11-04 = "2024"
@@ -8915,6 +8947,7 @@
 
 [SCL_Simulates_Ground_Resolution]
 2024-11-04 = "2024"
+2025-03-19 = "2025"
 
 [SC_DOM_Components]
 2020-11-27 = "2020"
@@ -8923,6 +8956,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [SDS_Impossibility]
 2016-05-05 = "2016"
@@ -8936,6 +8970,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [SIFPL]
 2008-11-13 = "2008"
@@ -8961,6 +8996,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [SIFUM_Type_Systems]
 2014-04-24 = "2013-2"
@@ -8978,6 +9014,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [SPARCv8]
 2016-10-19 = "2016"
@@ -8991,7 +9028,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [S_Finite_Measure_Monad]
 2023-10-12 = "2023"
 2024-05-26 = "2024"
@@ -8994,7 +9032,8 @@
 
 [S_Finite_Measure_Monad]
 2023-10-12 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Safe_Distance]
 2020-06-03 = "2020"
@@ -9031,6 +9070,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Saturation_Framework_Extensions]
 2021-02-23 = "2021"
@@ -9038,8 +9078,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Sauer_Shelah_Lemma]
 2022-11-28 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9041,9 +9082,10 @@
 
 [Sauer_Shelah_Lemma]
 2022-11-28 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Schoenhage_Strassen]
 2024-05-14 = "2023"
 2024-05-26 = "2024"
@@ -9046,7 +9088,8 @@
 
 [Schoenhage_Strassen]
 2024-05-14 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Schutz_Spacetime]
 2021-09-06 = "2021"
@@ -9054,8 +9097,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Schwartz_Zippel]
 2023-05-03 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9057,8 +9101,9 @@
 
 [Schwartz_Zippel]
 2023-05-03 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Secondary_Sylow]
 2014-01-29 = "2013-2"
@@ -9075,6 +9120,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Secret_Directed_Unwinding]
 2024-06-05 = "2024"
@@ -9078,6 +9124,7 @@
 
 [Secret_Directed_Unwinding]
 2024-06-05 = "2024"
+2025-03-19 = "2025"
 
 [Security_Protocol_Refinement]
 2017-05-25 = "2016-1"
@@ -9090,6 +9137,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Selection_Heap_Sort]
 2014-02-18 = "2013-2"
@@ -9106,6 +9154,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [SenSocialChoice]
 2008-11-17 = "2008"
@@ -9132,6 +9181,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Separata]
 2016-11-17 = "2016"
@@ -9145,6 +9195,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Separation_Algebra]
 2012-05-11 = "2011-1"
@@ -9165,6 +9216,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Separation_Logic_Imperative_HOL]
 2012-11-15 = "2012"
@@ -9185,9 +9237,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Separation_Logic_Unbounded]
 2022-09-14 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9188,9 +9241,10 @@
 
 [Separation_Logic_Unbounded]
 2022-09-14 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [SequentInvertibility]
 2009-09-01 = "2009"
@@ -9215,6 +9269,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Serializable]
 2025-02-11 = "2024"
@@ -9218,6 +9273,7 @@
 
 [Serializable]
 2025-02-11 = "2024"
+2025-03-19 = "2025"
 
 [Shadow_DOM]
 2021-02-23 = "2021"
@@ -9225,6 +9281,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Shadow_SC_DOM]
 2020-11-26 = "2020"
@@ -9233,6 +9290,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Shivers-CFA]
 2010-11-17 = "2009-2"
@@ -9256,6 +9314,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [ShortestPath]
 2013-05-30 = "2013"
@@ -9274,6 +9333,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Show]
 2014-08-28 = "2014"
@@ -9290,6 +9350,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Sigma_Commit_Crypto]
 2019-10-08 = "2019"
@@ -9299,6 +9360,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Signature_Groebner]
 2018-09-20 = "2018"
@@ -9309,6 +9371,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Simpl]
 2008-03-07 = "2007"
@@ -9337,8 +9400,9 @@
 2023-09-13 = "2023"
 2024-02-18 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Simple_Clause_Learning]
 2023-04-22 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9340,8 +9404,9 @@
 
 [Simple_Clause_Learning]
 2023-04-22 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Simple_Firewall]
 2016-08-24 = "2016"
@@ -9355,6 +9420,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Simplex]
 2018-08-27 = "2018"
@@ -9366,6 +9432,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Simplicial_complexes_and_boolean_functions]
 2021-12-13 = "2021"
@@ -9373,6 +9440,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [SimplifiedOntologicalArgument]
 2021-11-26 = "2021"
@@ -9380,6 +9448,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Skew_Heap]
 2014-08-28 = "2014"
@@ -9396,6 +9465,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Skip_Lists]
 2020-01-10 = "2019"
@@ -9405,6 +9475,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Slicing]
 2008-09-22 = "2008"
@@ -9431,6 +9502,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Sliding_Window_Algorithm]
 2020-04-12 = "2019"
@@ -9440,6 +9512,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Smith_Normal_Form]
 2020-05-25 = "2020"
@@ -9448,6 +9521,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Smooth_Manifolds]
 2018-10-23 = "2018"
@@ -9458,9 +9532,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Solidity]
 2022-08-12 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9461,12 +9536,13 @@
 
 [Solidity]
 2022-08-12 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Sophomores_Dream]
 2022-05-09 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9467,9 +9543,10 @@
 
 [Sophomores_Dream]
 2022-05-09 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Sort_Encodings]
 2013-07-01 = "2013"
@@ -9489,6 +9566,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Sorted_Terms]
 2024-06-03 = "2024"
@@ -9492,6 +9570,7 @@
 
 [Sorted_Terms]
 2024-06-03 = "2024"
+2025-03-19 = "2025"
 
 [Source_Coding_Theorem]
 2016-10-19 = "2016"
@@ -9505,6 +9584,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [SpecCheck]
 2021-07-08 = "2021"
@@ -9512,6 +9592,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Special_Function_Bounds]
 2014-08-29 = "2014"
@@ -9528,6 +9609,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Splay_Tree]
 2014-08-28 = "2014"
@@ -9543,6 +9625,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Sqrt_Babylonian]
 2013-01-04 = "2012"
@@ -9562,6 +9645,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Stable_Matching]
 2016-10-24 = "2016"
@@ -9575,9 +9659,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Stalnaker_Logic]
 2022-09-26 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9578,10 +9663,11 @@
 
 [Stalnaker_Logic]
 2022-09-26 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Standard_Borel_Spaces]
 2023-10-12 = "2023"
 2024-05-26 = "2024"
@@ -9584,7 +9670,8 @@
 
 [Standard_Borel_Spaces]
 2023-10-12 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Statecharts]
 2010-08-18 = "2009-2"
@@ -9607,6 +9694,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Stateful_Protocol_Composition_and_Typing]
 2020-05-20 = "2020"
@@ -9615,6 +9703,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Stellar_Quorums]
 2019-08-03 = "2019"
@@ -9624,6 +9713,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-19 = "2025"
 
 [Stern_Brocot]
 2015-12-22 = "2015"
diff --git a/web/webapp/submission/index.html b/web/webapp/submission/index.html
index eb44834dfd544b23c649cbb45901287fa658e320_d2ViL3dlYmFwcC9zdWJtaXNzaW9uL2luZGV4Lmh0bWw=..b1a333d9a68522e71b3c9cfabe97b8cccf8b648c_d2ViL3dlYmFwcC9zdWJtaXNzaW9uL2luZGV4Lmh0bWw= 100644
--- a/web/webapp/submission/index.html
+++ b/web/webapp/submission/index.html
@@ -89,7 +89,7 @@
   <div><iframe id="iframe" name="iframe" style="border-style: none; width: 100%" onload='(function() {
   window.addEventListener("message", (event) => {
     if (Number.isInteger(event.data)) {
-      this.style.height=event.data + 32 + "px"
+      this.style.height=event.data + "px"
     }
   })
   }).call(this)'></iframe>
diff --git a/web/webapp/submissions/index.html b/web/webapp/submissions/index.html
index eb44834dfd544b23c649cbb45901287fa658e320_d2ViL3dlYmFwcC9zdWJtaXNzaW9ucy9pbmRleC5odG1s..b1a333d9a68522e71b3c9cfabe97b8cccf8b648c_d2ViL3dlYmFwcC9zdWJtaXNzaW9ucy9pbmRleC5odG1s 100644
--- a/web/webapp/submissions/index.html
+++ b/web/webapp/submissions/index.html
@@ -89,7 +89,7 @@
   <div><iframe id="iframe" name="iframe" style="border-style: none; width: 100%" onload='(function() {
   window.addEventListener("message", (event) => {
     if (Number.isInteger(event.data)) {
-      this.style.height=event.data + 32 + "px"
+      this.style.height=event.data + "px"
     }
   })
   }).call(this)'></iframe>
diff --git a/web/webapp/submit/index.html b/web/webapp/submit/index.html
index eb44834dfd544b23c649cbb45901287fa658e320_d2ViL3dlYmFwcC9zdWJtaXQvaW5kZXguaHRtbA==..b1a333d9a68522e71b3c9cfabe97b8cccf8b648c_d2ViL3dlYmFwcC9zdWJtaXQvaW5kZXguaHRtbA== 100644
--- a/web/webapp/submit/index.html
+++ b/web/webapp/submit/index.html
@@ -89,7 +89,7 @@
   <div><iframe id="iframe" name="iframe" style="border-style: none; width: 100%" onload='(function() {
   window.addEventListener("message", (event) => {
     if (Number.isInteger(event.data)) {
-      this.style.height=event.data + 32 + "px"
+      this.style.height=event.data + "px"
     }
   })
   }).call(this)'></iframe>