A toy Firefox extension