Existe uma maneira de importar manualmente marcadores para xmarks?

Question

Não tive sorte em encontrar uma alternativa xmarks adequada que funcionasse com servidores proxy (veja esta questão ) por isso estou disposto a me contentar em atualizar manualmente os marcadores do meu computador de trabalho. Meu fluxo de trabalho proposto seria algo assim:

• Em casa, atualize automaticamente em xmarks como de costume.
• No trabalho, onde xmarks não podem mais fazer upload de favoritos: no final de cada dia, salve meus favoritos atuais em um arquivo de algum tipo, acesse xmarks.com e faça upload manualmente desse arquivo.

No entanto, não vejo nenhuma opção como esta.

Então, minha pergunta é: existe alguma maneira de obter meus favoritos atuais no servidor de xmarks quando o processo normal de sincronização não funciona porque eu tenho que passar por um proxy?