Added an option to display only installed extensions by default. Closed #1009.
Upgraded version labels for 0.9.14.