Related to [comment](https://github.com/tldr-pages/tldr/issues/3592#issuecomment-559563849) in #3592. (For the record, I have had [17 merged PRs](https://github.com/tldr-pages/tldr/pulls?q=is%3Apr+author%3Azdroid+is%3Aclosed+sort%3Aupdated-desc) in the past.)
Related to comment in #3592. (For the record, I have had 17 merged PRs in the past.)