👽 Add miniwebtool to docs linkcheck ignore list #13899

Job	Run time
Set up docker build 'dynamic' env variables	1s
Build and check documentation	3m 47s
End-to-end tests, chromium	12m 58s
End-to-end tests, firefox	16m 30s
End-to-end tests, webkit	11m 57s
Run the Django test suite	8m 11s
Run the Django test suite in reverse	5m 41s
docker_build (extensions, token_exchange,prefill_haalcentraalhr, all-extensions-) / Build image	2m 47s
docker_build (production) / Build image	2m 53s
Simulate upgrading instances (2.7.4)	1m 15s
Scan docker image	33s
Simulate upgrading instances (2.7.6)	1m 18s
Check for unexepected OAS changes	4s
Validate OAS	16s
Generate Postman collection from OAS	12s
Generate SDKs from OAS	4m 47s
Push Docker image	0s
update-docker-readme	0s
	1h 13m 10s

Provide feedback