I don't like the idea of end users modifying boot.css. Can't themes be added through normal stylesheet tiddlers tagged `$:/tags/stylesheet`?