Actually DeVCoin was not dead, and still is not dead, though it definitely has not been doing great the last few years. It is still the default currency in which we denominate the value of all the other things listed in the Latest Rates include-file, which the #galactic-milieu uses to avoid needing to rely upon having many players constantly playing all the various markets to calculate the relative values of the many and various assets used in the Milieu.