Clarifying the Data Read state

[Hugo Landau]

The Data Read state is intended to reflect all of a stream's data having 
been passed to an application. It's unclear to me from reading RFC 9000 
whether the Data Read state is intended to be reached after the 
FIN/end-of-stream event has been passed to the application, or simply 
when all data has been read by the application (but not necessarily the 
end-of-stream event).

In other words, does the "App Read All Data" event in the diagram in RFC 
9000 s. 3.2 include or exclude the FIN in that definition?