Took a bit for me to get to this, but I just submitted a PR to make annulled games more clear in the UI. I still think it would be a good feature to have Auto-match games time out in about a minute on the first move because:
(a) I don’t believe the development effort would be extensive
(b) Most users would benefit from this