Oh and anyone who doesn't want to sleep as much as they should, meditation is a great way of doing it. I managed to shave 2 hours off of my daily sleep need with 10 minutes of meditation ... so essentially I averaged 4 hours a day, for something like 5 years before I got out of the meditating habit for varying reasons.
OK, I'll match your anecdote with one of my own. I meditate 40 minutes per day, and it hasn't shaved a minute off of my sleep time. I average 8 hours of sleep per night, substantially more on the weekends when I can get it.