I think this is a great compromise for something like Mickey, which clearly remains in commercial use. It’d be nice if we could find a way to handle Mickey whi

I think this is a great compromise for something like Mickey, which clearly remains in commercial use. It’d be nice if we could find a way to handle Mickey while also releasing Catch-22 etc into public domain.