Are stream names case-sensitive

Hi: if I had a stream “Widget-020e201f-446c-4e80-948f-eba862a0579b”, but I tried to subscribe (from a client) to “widget-020e201f-446c-4e80-948f-eba862a0579b”, would that work? Or are stream names strictly case-sensitive?

Corollary: if stream names are case-sensitive, and I tried to post an event to the lower-cased version of the above stream name, I’d get a whole new stream, right?

They are case sensitive.