We rolled out a mini patch last night to address issues pertaining to HTTPs access, search, and access to files with privacy of general public. We also fixed a couple broken links.