Rename times --> timestamps.
Add use of timestamps in http example.