Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/remove_interactive b/doc/efun/remove_interactive
new file mode 100644
index 0000000..0d6d200
--- /dev/null
+++ b/doc/efun/remove_interactive
@@ -0,0 +1,13 @@
+SYNOPSIS
+ void remove_interactive(object ob)
+
+DESCRIPTION
+ Close the connection to the interactive object ob.
+
+ For the time of the LPC execution, the object is only marked
+ internally as 'about to be closed', meaning that while all
+ output will be redirected to stdout, the actual network connection
+ will continue to exist until the LPC execution ends.
+
+SEE ALSO
+ connect(M), logon(A), disconnect(M)