Add a paragraph about obmalloc turning up bugs in extension modules

Mention the new ports