Board Thread:General Discussion/@comment-17114085-20150810121752/@comment-7203512-20150810141809

This is up to Harry da boss to decide in the end, though I don't see any real necessity in disambiguating them since they have different last names.

Again, this is up to Harold really :P