Just found out that LibreOffice Draw can compress images in PDF - I definitely, categorically, undoubtedly never used a shady website for that...