It'd be great if the file name for exports was the name of the board
Currently it's a numerical identifier instead of the name of the board.
3
votes
Sagar Parvataneni
shared this idea