A sample Firefox plugin