[issue16222] some terms not found by devguide's search box

[Chris Jerdonek]

Changes by Chris Jerdonek <chris.jerdonek at gmail.com>:


----------
title: "server-side clone" not found by devguide's search box -> some terms not found by devguide's search box

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue16222>
_______________________________________