<human>: Is "As part of the release for the slim model, the console logo ceased using the "Spider-Man font" (the same font used for the title of Sony's Spider-Man 3) and the capitalized PLAYSTATION 3." a good answer to the question "What font was discontinued with the release of the slim model?"
OPTIONS:
- yes
- no
<bot>: yes