Bug#1051544: ding: looking up words is very slow

[Christian Weiske]

I got a response from Markus Kohm:
The problem is known, but he does not intent to fix it because he does
not have enough time.
He recommends pdfjam which can do the same task.

So I think a5toa4 should be removed.