• Update to Coq 8.15.1. (@corwin-of-amber)
• Stabilized jsCoq SDK Docker image. (@corwin-of-amber)
• A new landing-page example that is more focused on showing jsCoq features; added links to other examples. (@corwin-of-amber, help & suggestions by @hannelita, @palmskog)
• Added symbol generation to the build pipeline, to keep completion results current. (@corwin-of-amber)