Miscellaneous tinkering with ssl-related things