Development Tools Introduction to Git Managing Committed Files Removing Files

In practice, should I only use "git rm"?

In the video, we deleted the file with "rm tin.html". Then we used "git rm" to stage the removal of the file from the repository. Correct? Then we committed that change.

Does "git rm" remove the file like "rm tin.html" did? Or, does it only operate on the repository?

Finally, in practice what are the typical steps of a developer, using Git, removing a file from a coding project?

Oops, I re-watched the video and heard that very last comment that "git rm" removes the file in the working directory as well as the repository.