Do they really prohibit all use? My reading of their policy is that they mainly block vibe coding. It doesn't seem like LLM auto-complete or using it to review your code would run afoul of it.