To be honest, I think you’d be better off using a domain with a TLD.
Your problem is an edge case, as I’ve mentioned on the PR I don’t think the patch is the correct fix. Patching was deliberately option 3 - it’s not gonna be an easy thing to resolve with a PR 
If the domain can’t be changed, a custom scheduling adapter would let you fix the problem immediately, without needing to get a patch approved, merged & released.