Also <a href="https:&#x2F;&#x2F;www.cs.cmu.edu&#x2F;~coke&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.cs.cmu.edu&#x2F;~coke&#x2F;</a>, <a href="https:&#x2F;&#x2F;www.cs.cmu.edu&#x2F;~coke&#x2F;history_short.txt" rel="nofollow">https:&#x2F;&#x2F;www.cs.cmu.edu&#x2F;~coke&#x2F;history_short.txt</a>, and <a href="https:&#x2F;&#x2F;www.cs.cmu.edu&#x2F;~coke&#x2F;coke.history.txt" rel="nofollow">https:&#x2F;&#x2F;www.cs.cmu.edu&#x2F;~coke&#x2F;coke.history.txt</a>. It&#x27;s amusing that the third one is labeled &quot;recent history&quot; even though it&#x27;s from 1990. When you&#x27;re a coke machine from the 70s you view time somewhat differently I suppose.