Post #1807971

@justvanrossum @paulvanderlaan @nicksherman Completely agree. Don’t know where the term “production name” actually once came from, and where it’s all used…