Sync with main (#492)

* Create notes-2023-10-02.md (#486)

* Design document for variable mutability and namespacing (#469)

* Design document for variable mutability and namespacing

* style: Apply Prettier

* Partly address #299

* style: Apply Prettier

* Address comments, fix sigil choice

- change `@` to `#` because we want to use `@` for annotations such as `@locale`
- Provide text that considers not making ugly local variables
- Provide use cases for static analysis
- Call out the perfidy of the author in stealing ill-baked requirements

* style: Apply Prettier

* Add @eemelie's `input` proposal as an option considered

* Update exploration/variable-mutability.md

Co-authored-by: Eemeli Aro <[email protected]>

* Add new proposed design

* Update exploration/variable-mutability.md

Co-authored-by: Addison Phillips <[email protected]>

* Address @eemeli's comments

Specifically the one about forward references

* style: Apply Prettier

* Update exploration/variable-mutability.md

Co-authored-by: Eemeli Aro <[email protected]>

* Update exploration/variable-mutability.md

Co-authored-by: Eemeli Aro <[email protected]>

* Update exploration/variable-mutability.md

Co-authored-by: Eemeli Aro <[email protected]>

---------

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: Eemeli Aro <[email protected]>
Co-authored-by: Eemeli Aro <[email protected]>

* Create notes-2023-10-09.md

* Update notes-2023-10-09.md

* Remove the Prettier push action (#491)

Remove the Prettier lint action

* Remove numbers from the existing design proposals (#490)

---------

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: Eemeli Aro <[email protected]>
Co-authored-by: Eemeli Aro <[email protected]>
Co-authored-by: Stanisław Małolepszy <[email protected]>

Author: 4 people

.github/workflows/prettier.yaml

@@ -0,0 +1,45 @@
+# Design Proposal Template
+
+Status: **Proposed**
+
+<details>
+	<summary>Metadata</summary>
+	<dl>
+		<dt>Contributors</dt>
+		<dd>@username</dd>
+		<dt>First proposed</dt>
+		<dd>2023-01-01</dd>
+		<dt>Pull Requests</dt>
+		<dd>#000</dd>
+	</dl>
+</details>
+
+## Objective
+
+_What is this proposal trying to achieve?_
+
+## Background
+
+_What context is helpful to understand this proposal?_
+
+## Use-Cases
+
+_What use-cases do we see? Ideally, quote concrete examples._
+
+## Requirements
+
+_What properties does the solution have to manifest to enable the use-cases above?_
+
+## Constraints
+
+_What prior decisions and existing conditions limit the possible design?_
+
+## Proposed Design
+
+_Describe the proposed solution. Consider syntax, formatting, errors, registry, tooling, interchange._
+
+## Alternatives Considered
+
+_What other solutions are available?_
+_How do they compare against the requirements?_
+_What other properties they have?_