[Projects] havm: havm-0.26-7-gb493ecf Update the builtins documentation.