Thanks for the kind words! I'm not familiar with that other extension, but I believe Firefox doesn't allow one extension to touch another's internal pages without jumping through some hoops. You should ask the authors of that other extension to add it as an option :)