am d5885842: Merge "docs: proguard help update" into lmp-docs

* commit 'd58858427e102bec7ebe1d2a8ce418529924a68c':
  docs: proguard help update