I read through Dark Skippy exploit and I realized that this has been discussed in Programming Bitcoin:

While it is not new, it's good that @utxoclub brought it up.

Time to actually read the source code for my wallet, I guess.