For people responding to the idea of registering in #e-devices:request-a-device a device which they own, wanting to fulfill the request (repetition About the Request a Device category) to put the device codename in the post title I recommend this HowTo: [HOWTO] Find device codename.
As done commendably by our thread opener @you_smell_good, thank you.
There is also the official Google list. This is kept updated. It requires a machine on which one is prepared to accept a number of Google scripts and trackers to inspect; alternatively the large csv. file may be downloaded. Maybe this has similar requirements, idk. In a quick try I did not succeed.
This official list is mentioned in the above thread
Here are two mentions:
and the troublesome list: