Tweak commit d17014f: Use `display-commented`.
Just fix indent.
Add call-with-semaphore
Fix some comments.