The Reference Desk/Renaming "Red Dwarf special"

From Tardis Wiki, the free Doctor Who reference

I recently remembered that sometime ago I proposed a name change for Red Dwarf special (TV story), but nothing has really come of this, no one else has added to the discussion on the talk page so I'm wondering if this comes under "you've made a good faith effort to have a conversation about a name change on a talk page, but 30 days have elapsed without any real resolution to the problem" as per Template:Rename?? MadeIndescribable 20:28, September 6, 2019 (UTC)