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

They probably won't change the comic names, but I think that's what they really meant.