Fixes #4453: Document splay time mechanism
Merge pull request #51 from jooooooon/int_4453/document_splay_time_mechanism

Fixes #4453: Document splay time mechanism