Add link to mylar:platform in documentation