"Workbench" - even though a registered trademark - can be used if it is required for interoperability. Basically it need to be, as applications can try to lock public screen called "Workbench". Similarily some older apps might strcmp the window->ScreenTitle to detect the Workbench screen, so IMO use of the it is legimate in this context, too.
Same goes for "intuition.library", it must be called that or the library cannot be found. Intuition isn't listed in the amiga trademarks, however, or at least i could not find it from my AmigaOS 3.5 manual.