Removed extensions -- just use system libcmark, for now.