Is there any way of moving the workspace overview in Activities to the left side of the screen? I've tried looking for extensions and going through the GNOME Tweak tool, but without success.
Having used other DEs in the past (Unity, Xfce, KDE), I am used to efficiently moving the pointer around the top left corner of the screen only, and find it quite annoying to have to move all the way to the middle right to select a workspace, after launching Activities using the hot corner on the top left.