docbrown would be more appropriate, as the character who's actually doing the time manipulation.
That's... not terrible. Biff isn't exactly popular (yet?), so a name change isn't out of the question. Both of those names (and `biff`) are already taken on crates.io. Which is maybe not a huge problem. IDK. Naming is hard.
@dang - Could you update the post title please to say "bttf" instead of "Biff"? Thank you!
I don't think @ tags have any effect on HN, you'll want to email the mods directly: hn@ycombinator.com
Naming is hard, sure, but doing some due diligence up front to see what's already being used isn't very difficult. Very neat tool.
I did. I always do. I just missed this one. Or if I saw it, it didn't register for me and felt like it was just an old archaic tool. Which... is probably still true, but I under-estimated its mindshare. Just an honest unknown unknown.