Неожиданно Тьюринг-полный

https://www.gwern.net/Turing-complete
Статья о том, что тьюринг-полных языков внезапно достаточно много:
sendmail, sed, XSLT, C++ templates, Java generics, TrueType шрифты,
PostScript, TeX, какие-то музыкальные форматы, CSS, SVG, SQL
Magic: The Gathering (вот почему его любят программисты!). И всё это
опасность, с точки зрения безопасности (RowHammer, Spectre, и т.д.).
Даже BGP: http://vanbever.eu/pdfs/vanbever_turing_icnp_2013.pdf
Сейчас даже приходится доказывать что что-то *не* является Тьюринг-полным.
Я не много чего тут понимаю, ибо каждый второй комментарий на HackerNews
говорит что CSS не Тьюринг-полный. А я не понимаю все эти критерии, при
беглом чтении.

Могу ли я выразить свои критерии и опасения вещей которые "контролируют
мой компьютер" (как я это называю)? sed скрипты меня не парят, ибо
штатно я их не качаю постоянно запуская, даже внутри исходного кода
других программ. Шрифты, предустановленные в системе тоже не парят. А
вот шрифты скачиваемые броузером волнуют -- я поэтому даже возился в
кишках webkit чтобы отрубить их получение. Но это мне не нравится ещё
тем, что задолбали пытаться преподносить информацию ещё вот именно и вот
так выглядящую -- КАЖДОМУ по своему удобно её воспринимать, нефига ещё и
шрифты подсовывать свои. По сути меня волнует хаотично скачиваемые
программы на компьютер (JS, шрифты, пакеты npm/Python (если что, то npm
я запускал один раз в жизни) которые никак не прибиты гвоздями версиями,
которые никак не контролируются разрабами и уже сколько новостей было
что делали зловред через npm пакеты), ну и недоверие к такому каналу
получения программ -- первому что будут пытаться использовать не для
благих целей. Не нужно добавлять излишней гибкости, которая обеспечит
Тьюринг-полноту, куда не надо.