Thanks for this link, exactly the kind of thing I was looking for. The lineageOS site is kind of impossible to use for that purpose - it uses random names that don't have anything clearly to do with the device