#480: README.md, manual execution of 'bash_loader'