Simple tools for scanning HTTPS in the .gov world.