by alextfish
@Stéphane: Don't worry, it looks like they misunderstood something or something was mispackaged anyway; the spoiler is inaccurate :)(But yes, the title should still be changed. Inaccurate spoilers are still bad.)
(But yes, the title should still be changed. Inaccurate spoilers are still bad.)