diff --git a/src/apps/devdoc/public/healthy.txt b/src/apps/devdoc/public/healthy.txt
new file mode 100644
index 000000000..d86bac9de
--- /dev/null
+++ b/src/apps/devdoc/public/healthy.txt
@@ -0,0 +1 @@
+OK