Pretty printer can be invoked outside of UI-thread.
Initial stab at specification search