Description
This PR suggests to reduce the size of the static/docs/5.3/assets/img/guides/*-dev-server*.png images which were 2280px width.
I've chosen arbitrarily a value of 1000px width (like some in this same directory) and used https://www.iloveimg.com online tool.
This PR can be closed if this topic has already been mentioned/tackled before or if we want to use other values or tools to do that.
If this PR is merged, we probably want to update them in our gh-pages branch.
Motivation & Context
Save some trees.
Type of changes
- Enhancement
Checklist
-
I have read the contributing guidelines