Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
docs: document player shortcuts #570
Hi!, thanks for taking the time to report issues.
I'm glad you found the command-line help text
Yes, the official documentation is really out-of-date and currently very insufficient. I would love to receive contributions though. If you are interested, let me know!