Switched development.html to use new external_plugins option.