Contributors to 2018-12-10 Lesser known Dired stuff