[rt-users] Help with GNATT RT Extension: Doesn't show up!

[Nathan Cutler]

> However, there seems to be no option on the RT GUI to run the GNATT
> extension.

Just to be sure: did you clean the Mason cache and your browser's cache, too?