OK
I think I now understand what I need to do to convert the analogue pocket's build_top.v into a amaranth board file
I suddenly think to count how many input/output/inout/wire/reg lines build_top.v has, so I know how many amaranth definitions I'll need to write
…180
…oh no