Added subscription and DNS name command options to 'set extension' command. Other minor fixes.