Per the conversation here: https://en.numista.com/forum/topic166353.html
The following 5 coins are requested to switch from an ND mintage year to 1980.
I believe I could actually do this myself by editing the pages' Varieties section but rsirian1 asked me to repost the request here. In the future is a change like this something that's fine for community members to do?