Comparing selection mechanisms for gaze input techniques in head-mounted displays. Issue 139 (July 2020)