NavLab users (as of 2023)