Add prettify-element to pull-all.