Closes #66; Better options formatting for the real-time docs.