<hardenedsteel[m]> "Then should I close this PR..." <- Yes. You can just change the pr to remove that file instead of editing it