Add missing docs commit that was supposed to be in #2826 [skip ci]

@hamogu agreed to these doc changes as part of @2826 and I made them locally but forgot to push them up to the PR.