Namespace PathExt

The namespace for path-related functions.

Note that Jupyter server paths do not start with a leading slash.