Tag: how to use an IDE extension