I've had the 'sticking buttons' happen, using the front panel buttons, on releases prior to Beta 10 and with Beta 10 and Beta 10A. Note that it is easily discernable that it is not a mechanical issue.