Yes, that's the same core idea. I mean, there are plenty of solutions in JS, and it's a one-liner with fetch anyway, but having a native way would have been cool.

I was thinking about something more like `<a href="..." target="#someDiv">`.

That could be some handy (albeit rudimentary) foundation to build maintainable sites on a static server without any JS or build pipeline.