Bookmarks will be stored in a .json file per Houdini session via bookmark-hook environment variable.
One-Click jumps to the node location.
Double-Click tries to jumps inside to the node location.
For full functionality of this site it is necessary to enable JavaScript. Here are the instructions how to enable JavaScript in your web browser.