Да, именно так. Компромисс заключается в улучшении производительности для 99,999% пользователей, а также в экономии сетевого трафика и заряда батареи, но пользователи, отключившие JavaScript на своих современных смартфонах, не получают версию на статическом HTML.
Принудительное перенаправление с помощью тега meta? Возможно, мы можем отобразить кнопку в блоке else этого if здесь
которая будет перезагружать текущую страницу с параметром и/или установкой cookie?
Учитывая масштаб воздействия и необходимый объем работы, я бы сказал, что это задача с низким приоритетом, и приветствуются pull-запросы (pr-welcome).