Source: https://android.gadgethacks.com/how-to/nova-launcher-101-set-up-home-screen-gestures-0179904/