shame on me. I haven’t noticed this checkbox, I looked for it in the dropdown list and was so focused there.
Is there also such an option with the bookmarklets? and when do you recommend the bookmarklets and when do you recommend the safari extension? I am not really aware about the difference between both optiona in safari.