Remove [dev] extra from tangled, too