[ANN] PrettyTables v3.0.0

Yes, indeed! However, it is good to provide the other option for the case where the user cannot change the column labels for some reason.

Can you please provide more detail? I am not sure if it is correct to mix ANSI escape sequences in HTML output.