Update mujoco v5 name ids in docs #323

	# This workflow will build and (if release) publish Python distributions to PyPI
	# For more information see:
	# - https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions
	# - https://packaging.python.org/en/latest/guides/publishing-package-distribution-releases-using-github-actions-ci-cd-workflows/
	#
	# derived from https://github.com/Farama-Foundation/PettingZoo/blob/e230f4d80a5df3baf9bd905149f6d4e8ce22be31/.github/workflows/build-publish.yml
	name: Build artifact for PyPI

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]
	release:
	types: [published]

	jobs:
	build-wheels:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5

	- name: Install dependencies
	run: pipx install build
	- name: Build sdist and wheels
	run: pyproject-build
	- name: Store wheels
	uses: actions/upload-artifact@v4
	with:
	path: dist

	publish:
	runs-on: ubuntu-latest
	needs:
	- build-wheels
	if: github.event_name == 'release' && github.event.action == 'published'
	steps:
	- name: Download dists
	uses: actions/download-artifact@v4
	with:
	name: artifact
	path: dist

	- name: Publish
	uses: pypa/gh-action-pypi-publish@release/v1
	with:
	password: ${{ secrets.PYPI_API_MOGYM }}

Provide feedback