Gregory's Server
Was looking for a thing in my repos, and found a GeoJSON point editor I made three years ago. Suprisingly fun!
Use it when you need to quickly populate a points table, or edit something. It's got filtering and proper copy-pasting. Doesn't lose non-points from imported files and saves edits to a local session to prevent data loss.
https://zverik.github.io/point_ed/
https://github.com/zverik/point_ed