Updated to vellum:425c30e

This commit, which will most likely not make it into the permanent source history of Vellum is: 
'128716-fix-missing-tree', '127310-duplicate-questions' and '130785-double-dup' into staging