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