Sim, acho que a única maneira é colocar seu bookmarklet em uma página da web e salvar a partir daí. Não é possível fazê-lo no IE.
Não consigo descobrir como adicionar manualmente um bookmarklet, não há uma opção de edição para o URL.
No entanto, posso salvar o bookmarklet de javascript incorporado em páginas da Web.
Alguém sabe que é possível?
Sim, acho que a única maneira é colocar seu bookmarklet em uma página da web e salvar a partir daí. Não é possível fazê-lo no IE.