"please note that railway=razed is consumed by openrailwaymap and should thus not be deleted despite on-ground rule"

that is incorrect tagging for renderer, see https://wiki.openstreetmap.org/w/index.php?title=Incorrect_tagging_for_the_renderer

"there is ample evidence that the feature existed, on ground and on PD-maps " it is utterly irrelevant if it is not existing anymore