Comment by bbor

Does that correction matter, tho…? Discovered or created, it would be new to us, and is clearly not easy to reach!