It just needs to point to that in the “Available settings” section that I linked to above to make it a bit more discoverable. Do you still want me to open an issue?
Hi @jcrben, yes just adding that link is what I had in mind. We’ve recently added that template for documentation issues and I thought this would be a fitting first case for it (improvement to our docs that we need to track, lest we forget) So if you want to create one, we’d be grateful, but you don’t have to, of course.