This could be used in various places. One use case is the "[Jump to](#275)" feature.
This could be used in various places.
One use case is the "Jump to" feature.