Right now the default EWW header line format (user option eww-header-line-format) is used. I think it'd be an improvement to use a header line that shows Devdocs-specific information formatted in a convenient manner.
Just as an example, if you go to https://devdocs.io/astro/editor-setup/index, you'll see at the bottom the hierarchy path to the current page. (The same thing is seen at the very top (not in the header line) of Info buffers in Emacs.)
Right now the default EWW header line format (user option
eww-header-line-format) is used. I think it'd be an improvement to use a header line that shows Devdocs-specific information formatted in a convenient manner.Just as an example, if you go to https://devdocs.io/astro/editor-setup/index, you'll see at the bottom the hierarchy path to the current page. (The same thing is seen at the very top (not in the header line) of Info buffers in Emacs.)