[lucideer]

Exactly. And asking the opener (or somebody in general) to do so would've been a reasonable and polite response.

Unceremoniously closing the ticket on the other hand seems to me to indicate the maintainer really doesn't care.