HTML video currently offers no means for specifying multiple video sizes. It should.
View here: https://www.filamentgroup.com/lab/video-with-sizes/
By the way... I am currently exploring work opportunities for 2024! If you think I might make a good addition to your team, whether full-time or as an independent contractor, please reach out.