Skip to content

3398429: rename bookmarks to shortcuts, add star icon

Closes #3398429

Merge request reports