Use local graph for navigation

Graph navigation in TheBrain is nicely shown in video in this post:

Related feature requests: