[TxMt] Bibdesk problems