> Since the SSL certificates formerly used to protect access to Lavabit have been compromised, we recommend manually validating the serial number and fingerprint your computer received before using this website. [https://liberty.lavabit.com/]

What? If an active attacker is changing certificates on the fly, he's also surely able to change the values in the HTML content of the page.

This will add absolutely no security for the users, only false sense of security via complex-looking measures, and he should know this.