I think that for typos, opening tickets is overkill. Sending an e-mail (or, better, a patch file) to a developer is okay.

For push privileges people at Hwaci like drh might grant them if you sign an | agreement].