docs: remove emojis from headings #25

	name: Linting
	on:
	push:
	branches:
	- master
	paths:
	- "docs/**"
	pull_request:
	paths:
	- "docs/**"

	jobs:
	prose:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v3

	- name: Vale
	uses: errata-ai/vale-action@v1
	with:
	files: docs/docs
	env:
	# Required, set by GitHub actions automatically:
	# https://docs.github.com/en/actions/security-guides/automatic-token-authentication#about-the-github_token-secret
	GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}

Provide feedback