Auto-open details tag when jumping to element by id

[EvitanRelta]

Normally, in HTML, if and element is in a closed details tag, and u jump to said element via id (ie. by suffixing #[ELEMENT_ID] to the URL), it will auto-open the details tag before jumping.

However, Github's anchor-link-icon (shown below):

doesn't suffix the element's id.
Instead, it suffixes the header's text, and (probably) jumps to said header via Javascript.
Notice how the anchor-link-icon has a href="#header-in-details" but the header doesn't even have an id:

Thus, with reference to the above example, suffixing #header-in-details doesn't auto-open the details tag since its not a valid id.
However, it can be circumvented by suffixing the anchor-link-icon's id (ie. #user-content-header-in-details):