Ctverecek na konci dukazu by mohl byt na konci odstavce.

Jaký typ PDFkových anotací produkuje hyperref? Někdy prohlížeče
rámečky kolem odkazů neukazují, jindy ne, a například linuxové lp
je pak vytiskne.

Anglické README.

Pojmenované věty mají nepěknou tučnou tečku za netučným jménem.
Za to ovšem může balíček amsthm a není jasné, jak mu v tom zabránit.
Pomocí \newtheoremstyle sice jde předefinovat, jak se tečka sází,
ale v tom okamžiku není dostupná informace o tom, zda věta má jméno.