I would use the SKIP directive - the pattern used to skip text between tokens (whitespace by default). I don't remember the syntax for setting the directive, but setting it to

   /\s*(?:;[^\n]*\n)?/
[download]

should go a long way.