Jump marks for documentation tab

Hello,

in the documentation tab of a model there should be jump marks. You can then select a text and choose another place in the text / another document to jump to when you click on it.