user_documentation.md: -builtins --> -b

Fixes issue reported in 041b658d7c23e45e55178b0b65661e15454c63d1.