miniPORTAL 0.13.2

Przywrócono publikowanie oficjalnej dystrybucji po naprawie zgodności migracji z MySQL 8.4.
Domyślna polityka logowania zachowuje ostatnią lokalną stronę oraz jawny parametr next.
Dodano kontrolę zakresu publicznych modułów przed publikacją i wykluczono narzędzia modułów dedykowanych.
Oficjalna dystrybucja otrzymuje tag i wpis GitHub Release po powodzeniu pełnego CI.