Коллега, спасибо, прекрасный анализ!
К слову, есть одна проблема — как всегда дихотомия "новичок-опытный".
По сути, "программа используется редко" == "пользователь всегда новичок"; "программа используется часто" == "пользователь быстро становится опытным".
Соответственно, случай "программа предназначена для частого использования, но используется первый (второй, третий) раз" все еще не покрыт