Fixes #13240. It's not really better than source-code comments it replaced, but it's in a better accessible place.