A maintenance version that fixes two minor problems with Safari.