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