public static string ReadSourceSpan(this IDocumentReader reader, SourceSpan span, PythonAst ast) => reader.ReadLinearSpan(span.ToIndexSpan(ast));