Thread:Manual:JS/API/UI Extension Developer Library/What else should we add?/reply

Maybe a simpler name or a shortcut? ;-)