LaTeX: rename \sphinxnotetitle
into \sphinxstylenotetitle
(etc)
#6761
lint.yml
on: pull_request
ruff
20s
flake8
20s
isort
16s
mypy
30s
docs-lint
14s
twine
33s