It should, or 'TLS/SSL'. But so many people - even in tech - still use 'SSL' as a synonym for 'PKI on the web' that it's better to be understood than correct (and yes it's a bit sad).
Each of the tools involved refer to their the overall https configuration as SSL.
Even if it's not the protocol which is being used, it's a reasonable choice for the tool name.