Tom Ritchford on Nostr: That's what I thought, but gosh, someone told me that "drop" was the same as "hard ...

That's what I thought, but gosh, someone told me that "drop" was the same as "hard drop" not one day ago... you can see the transcript on a previous move.

Which is right?

"Drop" is btw not an option on their list.