You can remove this now, since we don't have an `issue_137` folder now.