diff --git a/docs/a.9-restsearch-dev.pdf b/docs/a.9-restsearch-dev.pdf
new file mode 100644
index 000000000..292553487
Binary files /dev/null and b/docs/a.9-restsearch-dev.pdf differ