the update command will pull down any new wiki edits, or new material.
right now you have to do this manually, sorry! But we will in future automate this process.
Something went wrong with that request. Please try again.
You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.