Update some obsolete 'for developers only' instructions