> Are there any other pressing tasks? I looked through my emails for > about the last year but may have missed something important.
Not really a pressing issue, but we (from LilyPond) are not happy with
the PDF output of `@url`, which sometimes still gives quite bad
results. Unfortunately, we didn't have enough time to cook up MWEs
that can be easily tested...
Werner
