On 22/04/2020 01:22, Philip wrote: > Just curious, who is Wayland? a people name? I have a vague recollection it was named after Wayland the Smith (https://en.wikipedia.org/wiki/Wayland_the_Smith). -- Fat Earther: One who believes the world is round but has put on too much weight round the middle.