Look directly into the repo. (The php files, which are)
This comes in handy for bulk generation of thumbnails.