MediaWiki talk:Gadget-HotCat.js

To install this on one's own wiki, does anything else need to be done besides copying this code into MediaWiki:Gadget-HotCat.js on that wiki? We should post complete instructions somewhere, if it's more complicated than that.