Fix up some trademarks in this (very outdated) article.