chiark / gitweb /
pull-cord-keeper: not polygon remain cut