On Sun, 21 Apr 2019, Vojtěch Čihák via lazarus wrote: > Oh, the new bugtracker skin is ... hmm, not so bad, but I'm rather > conservative. > > Well, life is change. :-) It is the default skin of mantis. The server has only just been updated. Proposals for alternatives are always welcome. Michael.