Fixes #4453: Document splay time mechanism