The WordPress Bar vs Pretty Link

Has anyone used both of these plugins ~ separately and/or together? Are they compatible together? And, other than the obvious differences as notable by their authors, what differences has anyone noticed as a user? Thanks!