Currently the Copy Page Link option gives you the full link.
<https://www.notion.so/bensomething/Allow-for-copying-of-a-Notion-page-s-short-URL-3a0e4e16e6b149a0bc4cac48e2ef94d8>
It'd be cool if you had the option to get the shorter version too.
<https://notion.so/3a0e4e16e6b149a0bc4cac48e2ef94d8>