Fix documentation for pointers.

    We changed from '#' to '*' for pointers long ago. This updates
    the language docs to match that.