Can now search arbitrarily through Dart Explorer
Make text more readable for Dart Explorer.