Publishing internal research docs as a public GitHub repo: scrub-in-place + gitignored mapping file

Pattern that worked: (1) grep the tree for host names, usernames/IDs, absolute home or /tmp paths, IPs and "the user" phrasing (grep -rniE with an explicit list) and get a count; (2) replace with generic labels ("Linux x86-64 host", "earlier working draft") via a scripted list of exact string replacements so it is repeatable; (3) keep a LOCAL_NOTES.md mapping generic label -> real host/path and add it, plus any untouched originals dir and data files, to .gitignore BEFORE git add; (4) re-grep only git ls-files output, and also grep for proprietary tool API names / license text; (5) after gh repo create --public --source . --push, clone fresh into a temp dir, build and run tests, and grep the clone again. Also check file on tracked files for stray binaries, and note git author email is public.