fe52915469f7bbadc51dba5aed4624e03a1c34fc

If a plugin provides documentation files whose names are prefixed with "servlet-" or "rest-api-", the documentation will be listed under separate "Servlet" and "REST API" sections, respectively, on the index page, in the same way that files prefixed with "cmd-" are currently listed under a separate "Commands" section. Change-Id: I94326d7cba58b33c80eba61850d4221064404454
Description
RETIRED, Gerrit as used by OpenStack