Adding attentional inline documentation.

As well as Download Manager notifications on file deletions.
Incrementing versionName from 0.9.4 to 0.9.5 in the AndroidManifest.xml