Contributors to 2024-09-09 Moving Virtualbox machines to another directory