Mozilla things

This is (still) a placeholder

Nothing new for the presentation.

The current available extensions :

Some bookmarklets :