On Wed, 22 Oct 2025 21:23:05 +1000, auanon wrote:   
      
   > Also, I realized too late that an 88x31 GIF is pretty small on modern   
   > displays... I don't think it'd be too hard to resize it at least.   
      
   What is this? A .gif for ants?   
      
   > ffmpeg -i altcp-small.gif -vf   
   "scale=iw*3:ih*3:flags=lanczos:force_original_aspect_ratio=decrease" -   
   gifflags +transdiff -y altcp-larger.gif   
      
   https://pomf2.lain.la/f/353x3s29.gif   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)