(One example of a page in question:
https://en.numista.com/catalogue/pieces4321.html.)
I sent a message to the referee a while ago, but never received a reply...
So, I finally had some time to read through a lot of the first link, and here is a comment I would like to quote:
"Where there is a - in the value column for the proof strikings this is an indication that no proofs are available to collectors - in some of these cases there is a single proof coin known which is in the British Museum's collection having been struck for the Museum by the Royal Mint."
That was above the "Penny" column. For the pennies, there is a value for 1928 and 1931, with the dates 1933, 1935, and 1937 all having the dash. So those last three probably all have an extremely small amount of proofs. And as for the 1931 ones, I imagine they were not struck for sets. And it seems that is what the PCGS link is talking about (sets rather than individual coins).
And finally, looking at the NGC link for these coins, it seems all proof dates are listed there:
https://www.ngccoin.com/price-guide/world/ireland-republic-penny-km-3-1928-1937-cuid-1126846-duid-1473460
So yea... I do not think those proof lines should be deleted. Even if there was an extremely small amount of these proof minted (for example: a mintage of one), they would still deserve their own year-lines.