Re: [GHC] #5266: Licensing requirements and copyright notices