She doesn't have DRM enabled so it should be as easy as:
1. Right click on the site, click on inspect
2. Go to the network tab
3. Filter by media
4. Start the video, change quality to source
5. You should see some weird file name like for example "0hqcud2wcpl2knh2rt7vk_source"
6. Right click and "open in new tab"
7. You should be able to download now