“magnified dock” is another name for Dock magnification.