I received the following pull request in github: https://github.com/wavexx/dl/pull/8
Looks fine to me (actually "better" than the current), and I was thinking of pulling it along with the "configurable style" patch sent by Daniel Berteaud a while ago. Since the OP didn't respond, maybe some of you could know the origin of those icons and/or replacements that we could pull in?
