Fix #730 and simplify how the breadcrumbs figure out what the active file is.