We aim to be legacy-friendly, not mobile-friendly

Summary: Site looks changing a little; but it's limited to visuals for the time being

THE PAST week was spent doing some work on the server, albeit nothing major or revolutionary like we had hoped (we're waiting with a Devuan migration because of the Debian vote, which ended only this past weekend).

We last changed the top banner back in 2015 when the European Patent Office (EPO) threatened us, so a week ago we changed it to a Christmas-themed one and today we change it again. We hope regular visitors like this new one (readers might need to flush browser cache to see it). It might not change for years to come. It was, as usual, made using The GIMP. We strive to use only Free software to run the site. Below are some past banners we used (in no particular order). ⬆