Eindelijk heb ik een vergrotings-tooltje genonden dat naar mijn zin is.
In Ubuntu 19.10 is
Magnus in de repositories te vinden.
Geen idee of het al langer in Ubuntu aanwezig is.
En ja, deze bril met een vriendelijk smoeltje (and a touch of metallic) heb ik besteld.