Merge commit 'a84a26d2afab503ed32e6ecc94acba46a5eb9eb3' into eclair * commit 'a84a26d2afab503ed32e6ecc94acba46a5eb9eb3': add searchable dictionary to html docs and dev guide nav
Merge commit 'a84a26d2afab503ed32e6ecc94acba46a5eb9eb3' into eclair * commit 'a84a26d2afab503ed32e6ecc94acba46a5eb9eb3': add searchable dictionary to html docs and dev guide nav