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.