Update tripwhat-spec.md