Given new "auto-pause" feature from a7f5c653, remove never-used code.