From: Danni@hyperspace.vogon.gov.invalid   
      
   According to   
   https://explore.whatismybrowser.com/useragents/explore/software_name/seamonkey/   
   Some people have set their user-agent to   
   Mozilla/5.0 (Linux; Android 5.0; x86_64 Linux; de; rv:3.1)   
   SeaMonkey/96.1.8 Iron/33.5.8 Chromium/14.5.4  or   
   Mozilla/5.0 (Linux; Android 6.0; Gentoo; pl-PL; rv:2.0) SeaMonkey/37.2.0   
   Safari/25.1.5 Gecko/82.8.5   
   Although Android 5.0 and 6.0 are a few years old now, I'm not sure there   
   was ever a Seamonkey 37.2, and Seamonkey 96.1.8 sounds very unlikely.   
      
   btw, I got there from   
   https://www.whatismybrowser.com/detect/what-is-my-user-agent   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)