./13/Coat-Button: single-colour: code-size reduction.
./13/Coat-Button: triple-colour: code-size reduction.