Post #1067321

@justvanrossum Voted for the second option because I know what’s meant, but it always gives me pause unless used in the phrase “final production names.” I wonder if the designspace convention of “design” and “user” would be helpful here.