RFC: https://amaranth-lang.org/rfcs/0018-reorganize-vendor-platforms.html - [x] Reorganize vendor platforms: https://github.com/amaranth-lang/amaranth/pull/887 - [x] Remove deprecated names for platforms: https://github.com/amaranth-lang/amaranth/pull/1002