Follow up to #1337 Document lazyvar in `docs/mkDocs/docs/specifications.md`. #1337 offers an approachable example for that sake.