In the end no one cares, the company that made Amiga Dos 3.1 went out of business and the company that seems to own the Amiga name doesn't have any interest in Amiga Dos, it makes MS Windows games and software to build games form MS Windows and Windows Mobile and hasn't been heard from since the first of February.
So I'd say license isn't an issue at this point.
