Fix usage of :option: markup in stdlib ReST docs #53558

assignee = 'https://github.com/merwok'
closed_at = <Date 2010-12-16.03:55:20.386>
created_at = <Date 2010-07-20.04:19:46.049>
labels = ['type-bug', 'docs']
title = 'Fix usage of :option: markup in stdlib ReST docs'
updated_at = <Date 2011-06-09.12:27:31.732>
user = 'https://bugs.python.org/elibendersky'

activity = <Date 2011-06-09.12:27:31.732>
actor = 'python-dev'
assignee = 'eric.araujo'
closed = True
closed_date = <Date 2010-12-16.03:55:20.386>
closer = 'eric.araujo'
components = ['Documentation']
creation = <Date 2010-07-20.04:19:46.049>
creator = 'eli.bendersky'
dependencies = []
files = ['18080', '18424', '18425']
hgrepos = []
issue_num = 9312
keywords = ['patch']
message_count = 22.0
messages = ['110862', '110863', '110869', '110908', '110924', '113173', '113174', '113176', '113178', '121011', '121012', '121015', '121022', '121024', '121475', '121502', '121847', '122450', '122485', '124103', '137958', '137961']
nosy_count = 7.0
nosy_names = ['georg.brandl', 'terry.reedy', 'ezio.melotti', 'eric.araujo', 'eli.bendersky', 'docs@python', 'python-dev']
pr_nums = []
priority = 'normal'
resolution = 'fixed'
stage = 'resolved'
status = 'closed'
superseder = None
type = 'behavior'
url = 'https://bugs.python.org/issue9312'
versions = ['Python 3.1', 'Python 2.7', 'Python 3.2']