News: void linux distribution is dead.