Update design.html

Remove extra instance of "builtin commands", shouldn't be there.