- http_session_cookie(-Cookie) is det
- Generate a random cookie that can be used by a browser to
identify the current session. The cookie has the format
XXXX-XXXX-XXXX-XXXX[.<route>], where XXXX are random hexadecimal
numbers and [.<route>] is the optionally added routing
information.