Profiles › full › package: ppx_disable_unused_warnings