Board Thread:Bug Reports/@comment-31235830-20170205111852/@comment-30645975-20170205223927

Ahh thank you. I assumed those were a different type of identifier, and so did not think to convert them to region files.