font-awesome5 5.12.1 -> 5.13.0 plata-theme 0.9.4 -> 0.9.5 xournalpp 1.0.15 -> 1.0.16 xournalpp 1.0.15 -> 1.0.17