Delete unplayable video from cache

Occasionally find that a video from a certain URL isn't able to play. I have not been able to figure out why, but the solution I know will work is to be able to purge this particular file from disk-cache.

How can I do this, just after it throws the Exception?

No file, test, or entry point is named in the issue. Start by tracing how AndroidVideoCache maps video URLs to disk-cache files and how playback exceptions reach the cache layer; done means the failing URL's cached file can be purged after the exception and the video can be fetched again.

Written by the indexing model from the issue text.