Waardering 5 van 5 sterren

door Bob op jul 13, 2020 · permalink

It was a great extension, and it is very unfortunate that it is no longer supported. Now there is always a problem - letters come (and go) with a wide variety of font sizes. Extremely uncomfortable. It would be great if there was some kind of setting so that all letters retained one font, as it was when using this extension.