[weld-dev] docs for portable extensions