i have paid nostr.build (npub1nxy…avr7) account also, must say have been quite happy with the compression. ...... but at the end of the day GIF is a pretty trash format. ..... these days i go MP4 where i can, or direct WEBM if it's supported. .......