this may very well be the end for corecoin. unless @35115 wants to dump it today...