Via the trunk I have installed the r4254 release several times, until I realised it was the same every time. Firefox Add-ons still tells me a new release is available, yet it continues to be r4254. Is it supposed to be like that?