The source project of this merge request has been removed.
Clarify what to do if a device is not listed
not everyone knows what porting is and not everyone seems to read the main text
not everyone knows what porting is and not everyone seems to read the main text