Rename extension spec to server extension spec