In answer to the original question, yes, this can be tossed into `/docs/` once #12037 gets merged.