In the PDE Guide there is a reference to publishing a jar to a "platform update server". Is the platform update server/manager fully functional in the R0.9?