FEZ Spider TinyCLR button ValueChanged event fires twice

See here: Question on Button events - #6 by John_Brochue
It’s a known bug of version 0.6.0