Description
Turns out that to brand the console you get when connecting over ssh, you need to create a branding-ssh.properties file as well as a branding.properties file.
This isn't mentioned in the documentation at all, and it's rather confusing, given the description, that the normal branding.properties file doesn't apply.