What's the update policy? On every commit? (Since we're using Git I think this is pointless.) On release? (If so, I would suggest appending -dev to it outside releases.) Something else? Cheers, -- Nikodemus