Reverted to a git clone of slime.  Renamed set-current-font-size to set-default-font-size.