"""Workspace navigation module."""