Well, 2020 is over. A really eventful year, and so far it seems 2021 won’t disappoint us neither (the US capitol was sieged just yesterday… Anyway, By the end of 2020 I had to do some maintenance tasks on this website, which unfortunately had been abandoned for quite some time. Just by scrolling down a…