The Linux TCP text currently says: SRTT is the smoothed round-trip time [RFC6298] [TODO check: Linux calculates SRTT different from the standard, though RFC 6298 relaxes the rules, so maybe it's ok?]
Indeed, that check should be done - if it's "not okay", there should be some text explaining how the Linux SRTT calculation works.
The Linux TCP text currently says: SRTT is the smoothed round-trip time [RFC6298] [TODO check: Linux calculates SRTT different from the standard, though RFC 6298 relaxes the rules, so maybe it's ok?]
Indeed, that check should be done - if it's "not okay", there should be some text explaining how the Linux SRTT calculation works.