This PR converts all existing PNG and JPG images to AVIF and updates the
markdown to point to the new files. This is blocked by a PR in
inner-source that will add support for AVIF images.
<details><summary>Conversion script</summary>
```python
from pathlib import Path
import subprocess
# I ran this again with the extension changed to ".jpg"
image_files = Path("public/").rglob("**/*.png")
def to_relative(path: Path) -> str:
return str(path).removeprefix("public/")
for file in image_files:
outfile = file.with_suffix(".avif")
subprocess.run(f"magick {file} {outfile} && rm {file}", shell=True)
subprocess.run(f"sd -s '{to_relative(file)}' '{to_relative(outfile)}' docs/**/*", shell=True)
```
And then I had to follow it up with this (run from `docs/`) to clean up
links that didn't work for some reason.
```sh
rg '\.png\)' -l | xargs sd -s '.png)' '.avif)'
```
</details>
This PR also enables the AVIF conversion in the API docs sync script,
and the AVIF linter for markdown files.
ca11486479
