[det]http_session_cookie(-Cookie)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.