Docs about writing javascript extensions for Gingko