Update the SARL documentation.