Board Thread:General Discussion/@comment-6192846-20140806122913/@comment-24463571-20141122034931

Both name changes are fine to me.