Mention Gruber's regexp in the LICENSE.