3 ms·

For now you can use userchrome.css to hide it, can't you?

• Manishearth 9y ago
  Yes, though I haven't tried that yet (I'm just going to wait for the API)