Re: some differences between "doc" stuff and "license" stuff