Deletion of Arnold Robinson

Comment: to Yes_Minister#Other_recurring_characters per , but I'd also be fine with delete since "Arnold Robinson" is quite a common name and there seems no compelling reason to take up the title with a redirect for this minor character
Stance: merge
Cited policy: Wikipedia:Redirects are cheap (WP:CHEAP)