Fader Zooming Issues / Ideas

I’ve got two minor issues with the fader zooming, that I think might be useful fixes / updates:

a) Fader size doesn’t save with workspaces. I feel like this would be exceptionally useful. If you’re on a smaller mixer workspace, the faders would save at their zoom level, but if you’re full screen mixer, you can zoom in and make larger faders and racks, and that’ll save with the workspace.

b) Zoom presets for faders / key shortcut for say “zoom to 18 faders” or “zoom to 24 faders” etc etc. would be very nice and quick tools for managing large projects.