Comment 1 for bug 1422454

Note that this bug is related to #1417291 "Plus sign appearing when numbered list followed by bulleted list". There seems to be an incomplete implementation of list expansion in docs.js, which causes the plus sign to appear where it is not expected.