User blog comment:NarendraMartosudarmo/Ripwrecker/Submaripper Issue/@comment-26219548-20170210235412/@comment-24413325-20170211132323

RoB renamed it because "pages got stuck together, and the real Submaripper is still out there... somewhere". I don't know how they got to know that there is going to be another Submaripper, but somehow they did.

In my opinion, their names can be switched.