Great find, Luke! Thanks.
This indeed solves above problem a).
However, if I export a bitmap after having pressed the button you mentioned, the bitmap is exported at 1/1,25 size, namely at 205 x 205 pixels if the above logo example is used
Thus, problem b) remains.
Bookmarks