Yeah, this looks like exactly what I needed. I spent a few hours reverse engineering how https://spector.net works, and it turns out they use almost the same idea under the hood. They call the same Instagram mobile API endpoints on i.instagram.com/api/v1 and the same GraphQL request to instagram.com/graphql/query, and then pull the direct video_url from the response, basically the same pattern shown in the extractor code.
Thanks a lot!