Updated: REST specification HTML export