It was landing under the '## Tips and Tricks' heading rather than in a server category, which did not match the PR title.