1.3.0.1: Fix dynamic option-changes in usosBadges
1.3.0.2: Programme selector
1.3.0.3: Minor enhancements in $.usosCore.panic

https://redmine.usos.edu.pl/issues/9589
1.3.0.4: Add campus names to building badges
1.3.0.5: Add "id" to user badges + changes in tooltipster
1.3.0.6: feedback: Fix invalid session caching
1.3.0.7: Fix usosSelector's "show more" screen (click didn't work)

https://redmine.usos.edu.pl/issues/9737
1.3.0.8: Better "search_history_affect"
1.3.0.9: Multiple improvements (see changelog)
Prepare 1.3.1 release
1.3.1