Looking into the the code I see that we use the proper names.
'''

—
Reply to this email directly or view it on GitHub.