Board Thread:General Discussion/@comment-25572162-20150303030021/@comment-1038387-20150303105644

I'm going to assume the latter. He's been called Digger Harkness earlier in the series. -- Tupka 217 10:56, March 3, 2015 (UTC)