| Additional commands to be run when MiniDisc quits.
