If it makes landing the `~[]` removable easier, keep it: someone else can remove it later if necessary.