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