Chrome extensions: Finding the missing proof

Web browsers have supported custom plug-ins and extensions since the 1990s, giving users the ability to add their own features and tools for improving workflow or building closer integration with applications or databases running on back-end servers. Source: Jane Street

Web browsers have supported custom
plug-ins and
extensions since
the 1990s, giving users the ability to add their own features and
tools for improving workflow or building closer integration with
applications or databases running on back-end servers.

Source: Jane Street