Fix submanager / extension developer doc example