Huh, never knew that. Thanks for sharing. I have been using Linux for 20 years. There is always something new to learn.