Extensions.

Small additions to the browser that make everyday work easier.