When one has changed files that affect the sidebar, rebuilding is typically
faster than refreshing.