Board Thread:The Panopticon/@comment-26975268-20130201045831/@comment-26975268-20130220014202

CzechOut wrote: We might want to change (real world) to (production), though, since 3 of the 4 proposed variants are also "in the real world". I was going to suggest that, but I figured it might complicate things as we'd agreed on that name. But, I agree, (real world) would be too broad, as the name encompasses the other pages as well, meaning it's not a good name. (production) sounds fine to me.