While many community-created shortcuts exist, a few have consistently stayed updated to support the latest iOS versions:
Here's how to create a Safari download video shortcut: