How Should We Abbreviate Bitcoin and Ether?