Update

Former-commit-id: 7397237149

docs/scripts/compress_png.sh

@@ -0,0 +1,19 @@
+#!/usr/bin/env bash
+
+# Compress png files in ./docs/src
+
+[[ -d "./docs" ]] || (echo "Folder ./docs not found" && exit 1)
+
+# Main images
+for file in ./docs/src/*.png; do
+  optipng "$file"
+done
+
+# Theme's images
+for file in ./docs/src/*/*.png; do
+  optipng "$file"
+done
+
+for file in ./home/wallpapers/*.png; do
+  optipng "$file"
+done