Add credit to Nang-Thang about UX decision to use ctrl instead of control