Profile 'builtins' parameter documentation missing

GitHub fields:

assignee = None
closed_at = None
created_at = <Date 2020-04-06.14:43:33.212>
labels = ['3.8', '3.7', 'library', '3.9', 'docs']
title = "Profile 'builtins' parameter documentation missing"
updated_at = <Date 2020-04-11.01:16:06.060>
user = 'https://github.com/bharel'

bugs.python.org fields:

activity = <Date 2020-04-11.01:16:06.060>
actor = 'terry.reedy'
assignee = 'docs@python'
closed = False
closed_date = None
closer = None
components = ['Documentation', 'Library (Lib)']
creation = <Date 2020-04-06.14:43:33.212>
creator = 'bar.harel'
dependencies = []
files = []
hgrepos = []
issue_num = 40205
keywords = []
message_count = 2.0
messages = ['365859', '366173']
nosy_count = 3.0
nosy_names = ['terry.reedy', 'docs@python', 'bar.harel']
pr_nums = []
priority = 'normal'
resolution = None
stage = None
status = 'open'
superseder = None
type = None
url = 'https://bugs.python.org/issue40205'
versions = ['Python 3.7', 'Python 3.8', 'Python 3.9']