What was that buy order @0.00001300 on c-cex? Some kind of buy support from dev or someone just getting in a bit late?