I'm not able to find `detechwsl()` anywhere.  Is this function defined in another package?