I'd been under the impression that most of the useful stuff from servo had already been integrated back into gecko, but I just checked their git and was glad to see that development continues, despite mozilla's layoffs