Request for 'simplified' penguins dataset

First, thank you for providing this great dataset!

For the mlr3 project (www.github.com/mlr-org/mlr3) we've been replacing all instances of the problematic `iris` dataset with `penguins`. However one of the large benefits of `iris` is that it can be handled by all (classical and ML) models as it contains no factors and has no missing values. Whilst we could modify `penguins` internally this could be messy as users may be confused by multiple similar datasets (i.e. running a model on our penguins would not be same results as version here).

Therefore I'd like to request an 'official' simplified version of `penguins`, exported with the package, that removes missing observations and converts the factor column to integer.

Thanks!
Raphael