No Domain.maximum_domain_count() in the stdlib

Yes, see here: Multicore Update: April 2020, with a preprint paper - #28 by gadmm.