Is there a way to get a OsChar literal more conveniently than osp + head

I’d stick with isExtensionOf here. OsChar isn’t really a Unicode character anyway—it’s closer to a unit of the underlying OS string encoding. For filepath extensions, working at the OsString/filepath level is usually cleaner and avoids encoding-related surprises.