What's the name of the header progess bar on websites?

I'm trying to find the term for the progress bar of headers some websites now have (particularly many Microsoft documentation websites now). It seems similar to the concept of Breadcrumbs but is either a distinct version of them or something separate. An example of that I mean is here: https://www.agiliq.com/blog/2018/07/using-django-on-windows-with-wsl/

All similar search terms however (bar, breadcrumbs, headers, progress bar) have so many results for other irrelevant things that I can't seem to find the right phrase. My searching so far has landed me on breadcrumb-related sites that then discuss breadcrumbs in the header. After fairly exhaustive attempts my Google-fu has failed me; what should I be searching here?

Also, my interest is particularly oriented toward implementing the same thing in a Django/Wagtail website. I'd be happy to just get the name of what I should be searching here, but if anyone has specific pointers toward good resources for how to implement in that framework that would be even one step better.