INAL, but this is as far as I see and understand it not covered by the license.
Btw, I thought you were an *ex* AmigaOS developer?
Does your contract/license/whatever allow you to work on AmigaOS stuff/keep a copy of complete AmigaOS sources on HD/etc. even as ex developer?
Is it the same for all/most ~recent "post Commodore era" ex developers?