Assertion: time machine's theme | /r/HasProperty | available
Facets:
Source sentences:
text: The change in configuration is explained in "Time Crash" (2007) by the Fifth Doctor as a mere changing of "the desktop theme" to "Coral" (he also indicates that a "Leopard Skin" theme is also available, but he dislikes it).