chiark / gitweb /
Change names for internal tables.