The operation in question is `toRealPath()`, which is only available through `Path.toRealPath(LinkOption...)`.