Merge "Document mw.user.options and mw.user.tokens properties"