CI: Automatic REST API doc update