chiark / gitweb /
ocean scraper can fetch charts