man: update description of default extension for isolate