☰

PR page improvements

many things for github PRs

Versão de: 20/08/2025. Veja: a última versão.

Estas são as versões deste script em que houve atualização do código. Mostar todas versões.