Not technically "merged" but I put the brief note into trunk. Jorge, feel free to add more info about extensions as you see fit.
« Back to merge proposal
Not technically "merged" but I put the brief note into trunk. Jorge, feel free to add more info about extensions as you see fit.