Workaround for some weird rendering bugs in Android.
Make long-click deleting work again.
Make the delayed touch work right.
Increment version number again.