Thread:Project:Support desk/Banning a troll who changes his IP address/reply (6)

Yep, those are the ones. You'll then need to upload them onto the sql somehow - that depends on what method you use. The extensions page has good instructions on how to do that.