For <video> <audio>, we still miss attributes which define the video streaming navigation basic interface, namely the URL attributes to seek into the video/audi

For <video> <audio>, we still miss attributes which define the video streaming navigation basic interface, namely the URL attributes to seek into the video/audio (and optionnaly more, for instance the http thumbnail interface for a video). That has a meaning for only BIG video/audio files. A lean and simple browser would pass such information to an external media player, which then will be able to navigate thru the streamed video/audio. For instance https://cdn.net/H4378uHuon/myvid.dash?t=timestamp https://cdn.net/H4378uHuon/myvid.dash?t=timestamp. Timestamp in ms. I guess the full length of the video/audio would have to be provided for the media player to show a consistent progression bar.