first mention of fartcoin (fartcoin)