You could fork the website extension and then modify it, creating your own GIF extension. Even if it uses chromium, would be better to keep it separate so that in the future the GIF format isn't coupled to the Website format... if a good cli GIF player comes along, the you could just swap it out.
They should be mostly up-to-date, as not a lot has changed in the past couple years :/.