Update for Amaranth v0.5.3.

Author: whitequark

src/config.ts

@@ -8,7 +8,9 @@ const amaranth_0_4_5 = 'https://files.pythonhosted.org/packages/1a/bf/cff5c705f2
 const amaranth_0_5_0 = 'https://files.pythonhosted.org/packages/d3/34/8a21cc1765f1952eb35766cf76ec8a1b3e73f32ae78d9bf1c1a88313bdcd/amaranth-0.5.0-py3-none-any.whl';
 const amaranth_0_5_1 = 'https://files.pythonhosted.org/packages/46/1c/74dc024e77038a273160dd1d70a79371142ba9ebeac4b2fb89c272ce6859/amaranth-0.5.1-py3-none-any.whl';
 const amaranth_0_5_2 = 'https://files.pythonhosted.org/packages/e1/60/f787f05fe9684ce80aeb9fe23238248461ef42783e53712092ad55a97eec/amaranth-0.5.2-py3-none-any.whl';
+const amaranth_0_5_3 = 'https://files.pythonhosted.org/packages/3a/8d/889014b45ecf68727d8c8c1d88d5b858f0b43a42c5b1e51fa2c875ffd4d5/amaranth-0.5.3-py3-none-any.whl';
 const pythonPackages = {
+  'v0.5.3': [rfc3986_2_0_0, jschon_0_11_1, pyvcd_0_4_0, amaranth_0_5_3],
   'v0.5.2': [rfc3986_2_0_0, jschon_0_11_1, pyvcd_0_4_0, amaranth_0_5_2],
   'v0.5.1': [rfc3986_2_0_0, jschon_0_11_1, pyvcd_0_4_0, amaranth_0_5_1],
   'v0.5.0': [rfc3986_2_0_0, jschon_0_11_1, pyvcd_0_4_0, amaranth_0_5_0],
@@ -77,6 +79,7 @@ amaranth_playground.show_verilog(verilog.convert(m, ports=[count]))
 # amaranth_playground.show_rtlil(rtlil.convert(m, ports=[count]))
 `;
 const demoCode = {
+  'v0.5.3': demoCode_0_5,
   'v0.5.2': demoCode_0_5,
   'v0.5.1': demoCode_0_5,
   'v0.5.0': demoCode_0_5,