Cleanup of the hot-reload API