X-Git-Url: https://sipb.mit.edu/gitweb.cgi/wiki.git/blobdiff_plain/660182354d3e7be7b14c9f4468d8f9b1e22f1235..e53090c44d2b96682666dd4e269a6eef47c22547:/doc/zephyr.mdwn

diff --git a/doc/zephyr.mdwn b/doc/zephyr.mdwn
index 32768a4..fbcb14c 100644
--- a/doc/zephyr.mdwn
+++ b/doc/zephyr.mdwn
@@ -34,7 +34,7 @@ Roost makes use of [Webathena](https://webathena.mit.edu/) to keep you subscribe
 ### Zulip
 
 
-[Zulip](https://zulip.com/zephyr) is a web-based Zephyr client that also provides [mobile apps](https://zephyr.zulip.com/apps) for Android and iOS and desktop apps for Linux, Mac, and Windows. Zulip is developed by a company composed largely of MIT alums and SIPB members.
+[Zulip](https://zulip.com/zephyr) ([source code](https://github.com/zulip/zulip)) is a web-based Zephyr client that also provides [mobile apps](https://zephyr.zulip.com/apps) for Android and iOS and desktop apps for Linux, Mac, and Windows. Zulip is developed by a company composed largely of MIT alums and SIPB members.
 Zulip, like Roost, is easy to set up because it uses Webathena for authentication.
 
 See [Zulip for MIT setup](http://zulip.com/zephyr) for details.
@@ -196,6 +196,7 @@ phrases and words being thrown around.  Some of these include:
 <strong>doxp</strong>:
 > "Do X predicate", from Lisp naming convention. A discussion on whether one
 > should do X.
+> A common variation is "doxory", literally "Do X or Y".
 
 Many of the acronyms may be suffixed onto normal instance topics with a period
 to indicate relation. There are many other acronyms that are used; if you don't
@@ -217,7 +218,8 @@ There are a few abbreviations people use, such as YMMV (Your Mileage May
 Vary) or IIRC (If I Remember Correctly), as well as some nerdier ones
 like DTRT (Do The Right Thing, in reference to
 [ The Rise of "Worse Is
-Better"](http://www.jwz.org/doc/worse-is-better.html)).  Try running `add sipb; whats dtrt` to look up an
+Better"](http://www.jwz.org/doc/worse-is-better.html)). 
+As mentioned above, try running `athrun sipb whats dtrt` to look up an
 abbreviation.
 
 Personal classes are by convention considered a little more private than