Minor polish

Today I mostly fixed small things that were on the polish list for ages now, like transparent map display (and better filtering on it), and other dozens of small items:

Sometimes this takes way longer than it should, not from an actual work perspective, but just deciding if 60% opacity is better than 50% and such…

Now listening to “Battering Ram” by “Iron Savior”