Ask HN: Where did the terminology (AI) "System Card" come from?