@samueljohn do you have any thoughts on using `with-metis` or `with-metis4` as an option for dependency to `metis4`? Because 4 and 5 are conflicting formula, should we name this option to explicitly call on metis4?