Turns out that case ids may end up being re-used in URI contexts, and
'@' has special meaning in some parts of URL (HTTP, at least), which
could cause confusion or make translations to HTTP URLs troublesome.
Since it looks like it's not used anywhere yet, it's safer to drop it.