Cercavo un modo per esportare i bookmarks di Safari in html, e mi hanno suggerito di attivare il menù debug di Safari. Funziona. Inoltre permette altre operazioni molto utili agli sviluppatori, tra cui quella di spacciarsi per un user agent diverso. In questo modo, fingendomi Mozilla, posso anche usare il mio e-banking ;) in attesa che Bancaintesa faccia "ciò che deve".
Dimenticavo, per attivare il menù, a Safari chiuso digitate nel terminal : defaults write com.apple.Safari IncludeDebugMenu 1