#155: document path_prefix/path_approx