A Linear Time Solution to the Labeled Robinson–Foulds Distance Problem. (15th April 2022)