Update exposure time terminology in UI and documentation#398

Merged

monodera merged 3 commits intodev-mainfrom

issue/393-rename-individual-exptime

Jan 14, 2026

Commits on Dec 27, 2025

Update terminology from "individual exposure time" to "total exposure time per pointing"

monodera
and
claude
committed

Commits on Jan 14, 2026