ExoMol line lists – L: high-resolution line lists of H3+, H2D+, D2H+, and D3+. Issue 4 (9th January 2023)