I contacted the IRS and they’ve indicated the publication should be issued updated by the end of January 2020.
