• Put an extra package in a CoqIDE bundle