docs[patch]: Update links, delete duped page #9510

	# Run formatting on all PRs

	name: Format

	on:
	pull_request:
	paths_ignore:
	- '.github/**'
	workflow_dispatch: # Allows triggering the workflow manually in GitHub UI


	# If another push to the same PR or branch happens while this workflow is still running,
	# cancel the earlier run in favor of the next run.
	#
	# There's no point in testing an outdated version of the code. GitHub only allows
	# a limited number of job runners to be active at the same time, so it's better to cancel
	# pointless jobs early so that more useful jobs can run sooner.
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	format:
	name: Check formatting
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Use Node.js 18.x
	uses: actions/setup-node@v3
	with:
	node-version: 18.x
	cache: "yarn"
	- name: Install dependencies
	run: yarn install --immutable --mode=skip-build
	- name: Check formatting
	run: yarn run format:check

Provide feedback