thanks for the references.

I'm not sure what my average sleep time is, or whether it is
sufficient, but
I feel energetic throughout the day, and I require less sleep now as
compared to when I was eating what I would consider to be a poor diet.
I
was also tired during the day but am not any longer.

I think it's around 6-8 hours, but I'll have to monitor it to be sure.