Ничего из перечисленного не требуется.
В упомянутом Вами разделе речь идет о так называемых колебаниях и вариантах, отличающих формообразование отдельных групп существительных. Вероятно, такие случаи предпочтительнее называть вариативными, а не спорными, хотя разные формы и оказываются предметом спора. Предпосылкой грамматического варьирования становится наличие в значении существительного признаков, характеризующих семантику разных форм. В речи, когда существительное употребляется в сочетании с конкретными словами, могут быть выражены или подчеркнуты только одни, но не другие смысловые признаки (например, признак ‘рыба’, но не ‘рыбное блюдо’). Вывод: обсуждаются сфера грамматического варьирования и признаки грамматических форм, предопределяющие варьирование; отмечаются тонкие смысловые нюансы высказываний, выраженные при помощи вариантных форм; в результате можно наблюдать смысловые и грамматические предпочтения говорящих, фиксировать изменения в функционировании именных форм.
Таким образом, несклоняемые варианты стали настолько широко распространенными, что изначально единственно правильный склоняемый вариант многими теперь воспринимается как ошибочный! Если когда-то Анна Ахматова очень возмущалась, когда при ней говорили мы живем в Кратово вместо мы живем в Кратове, то теперь употребление в Строгине, в Люблине многими совершенно напрасно воспринимается как порча языка. Между тем такое произношение и написание отвечает грамматической норме.
Но необходимо сказать вот о чем. Люди одной профессии или одного круга общения нередко вырабатывают своего рода "язык в языке", т. е. жаргон. Жаргон - это разновидность речи какой-либо группы людей, объединенных единой профессией или занятием, своего рода знак принадлежности к определенному кругу общения. И значения слов, лексическая сочетаемость слов внутри жаргона может существенно отличаться от литературного языка. Так, профессиональные кондитеры возмущаются, когда слышат словосочетание печь торт, они говорят собирать торт. Водитель трамвая не произнесет трамвай идет в депо, а скажет вагон идет в депо. Точно так же в речи участников водного похода устойчивым словосочетанием является пойти на байдарке, а плыть на байдарке ими однозначно воспринимается как ошибка.
Кстати, наш программист - любитель походов по горным рекам - полностью согласился со сделавшими Вам замечание туристами.
Простите, пожалуйста, за долгий ответ! Через дефис пишутся, во-первых, сложносоставные существительные (плащ-палатка, кран-балка, диван-кровать). Первая часть таких слов не склоняется (плащ-палаткой, кран-балкой, диван-кроватью). В сложносоставных словах между частями есть очень тесная связь, которая и позволяет не склонять первое слово. Во-вторых, дефисное написание имеют конструкции, представляющие собой сочетание определяемого слова с приложением, то есть согласованным определением, выраженным существительным (художник-маринист, инженер-экономист и т. д.). В этом случае склоняются обе части: художником-маринистом, инженером-экономистом. В приведенных примерах мы имеем дело именно с этим случаем, соответственно по правилам мы должны склонять обе части: «Зенита-Казани», «Зенитом-Казанью» и т. д. Это соответствует и реальной языковой практике. Например, новости на канале Sport24 выглядят так: Сегодня, 15 сентября, состоится матч 1-го тура группы А на Кубке Победы между «Зенитом-Казанью» и кемеровским «Кузбассом», и таких примеров много. Хотя надо отметить, что пишущие часто избегают косвенных падежных форм этих конструкций, предпочитая другие варианты формулировок (например, ...между казанским «Зенитом»).
Что касается названия, состоящего из двух слов, то обе его части, конечно, должны склоняться.
Слово бот обозначает программу, которая действует автоматически, без участия человека. В русском языке такие слова, как правило, приобретают статус неодушевленного существительного и соответствующим образом склоняются: использовать боты, подключить бот, подписаться на бот. Вместе с тем отдельные группы имен существительных могут изменяться по падежам вариативно; см. примеры и объяснения в статье «Между эмбрионом и покойником: где расположены роботы на шкале одушевленности».
В дополнение отметим своеобразие синтаксической конструкции с глаголом используют. Если в предложении отсутствует подлежащее, то вариант конструкции используют ботов служит на пользу однозначности; ср.: Ботов используют для рассылки спама. Форма винительного падежа ботов ясно указывает на зависимый статус существительного (управляемый глаголом компонент со значением объекта действия). Это важный показатель, поскольку возможно предложение с сочетанием боты используют (и с обратным порядком слов используют боты), в котором существительное боты является подлежащим и обозначает субъект действия: боты могут взаимодействовать друг с другом и используют для этого интернет-сервисы. Наблюдения показывают, что всё чаще используются обороты, в которых слово бот склоняется по типу одушевленного существительного: мы создавали чат-ботов, создали продвинутого бота, разработаем бота.
Запятая после может нужна: ...учился, учится, а может, даже работает в нем.
Запятая не ставится, поскольку части сложного предложения, соединенные сочинительным союзом И, имеют общие слова (так как) и общую главную часть предложения.
Жизнь без чего-то - это жизнь в отсутствие чего-то. Есть академический справочник "Правила русской орфографии и пунктуации" (М., 2006), он достаточно "увесист" как доказательство.
Правила постановки знаков препинания при сочетании вводного слова и обособленного оборота изложены в параграфе 93 «Полного академического справочника» под ред. В. В. Лопатина (М., 2006 и след.). В справочниках и специальной литературе не отмечено, что вводные слова разных семантических групп «ведут себя» в таких условиях по-разному.
Другое дело, что, если вводное слово находится в начале оборота, пишущему действительно хочется как-то выделить и сам оборот, и вводное слово. В этом случае одними только запятыми не обойтись, нужно использовать еще и тире. Такие ситуации подробно проанализированы в статье С. В. Друговейко-Должанской «О корректировке правил пунктуационного оформления вводных конструкций (тире перед вводными словами и словосочетаниями)» (#ТОТСБОРНИК: Сборник научных трудов по материалам Тотального диктанта. Новосибирск, 2017. Вып. 2. С. 132—145).
