Firstly, many thanks for this thread - a friend linked me here (thanks Whatley!), and when I checked I found that I had the bug. I fixed it using the simple formatting method (I didn't see the bit about disabling swap, but think it was probably disabled because I had the device USB-mounted to backup my files anyway).

I'd like to offer a couple of suggestions, both of which are aimed at making the original post in this thread easier to read and follow for the concerned newcomer...

The first is that you could remove the need to use the 'df' command both when checking for the bug, and verifying that you've fixed it. In both cases, the last two lines of the output from 'cat /proc/partitions' give you all the info you need - mmcblk0p1 should be smaller than mmcblk0.

The second suggestion is that if the GUI formatting method works for everyone, it would be really sensible to move the alternative command-line method down into a 'post-script', after the verification stage, or even to remove it completely. Most people won't want to get their hands messy on the command line, and it'd be easier to read the main purpose of the post if that bit was separated out (and I speak as a full-time Perl developer; I'm not scared of command lines).

I know you had to figure out a load of info for the CLI method, and you're probably reluctant to let that effort become 'wasted', but (imho) now that an easier method has been put forward, the CLI method really should be de-emphasised more than it has been - I'd suggest removing it entirely unless there are some cases in which the GUI method won't work.

Thanks again for this post - I don't keep anything important on my tablet, but a corrupt flash disk would still have been annoying when it happened.