Thanks!. They have just released version 2.0.6.1 of the board definitions and that has fixed the problem

Just started with the Stamp S3 and installed the official M5 board manager. It shows support for the Stamp S3 in the text

but I cannot select the StampS3