chiark / gitweb /
Add "Reload platform" to refresh all the objects on the platform from their files