The typo in options.rst was introduced in a54088. --hardframedrop mentioned in mpv.rst has been merged with --framedrop.