Searching protocol for "type-theory"
Embeddable chatbot widgets for web apps.
Policy-aligned TODO hygiene before changes.