Update builtinplugins.tex