PLYLoader: Robustness. Fixes #5351.
PLYLoader: Minor tweaks.
Editor: Minor tweaks.