Improvement: Reduce the size of gh-pages

Our current(21.07.2025) gh-pages branch is close to github limit of 1GB as stated [here](https://docs.github.com/en/pages/getting-started-with-github-pages/github-pages-limits):

_Published GitHub Pages sites may be no larger than 1 GB._

While we have stale PR clean-up we need to make sure that PRs wont push `gh-pages` over this limit. Also lets consider the other limitations from the link above.

Current snapshot:
```
score$ du -sh .
860M .
```
Tree:

```
├── index.html
├── main
├── pr-1069
├── pr-1115
├── pr-1125
├── pr-1170
├── pr-1202
├── pr-1203
├── pr-1209
├── pr-1246
├── pr-1258
├── pr-1281
├── pr-1293
├── pr-1371
├── pr-1374
├── pr-1375
├── pr-1388
├── pr-1395
├── pr-1408
├── pr-1416
├── pr-1435
├── pr-1437
├── pr-1438
├── pr-1451
├── pr-1457
├── pr-1458
├── pr-822
├── pr-890
└── versions.json
```