Key is located in:
etext/src/Key.m3
trestle_by_example/src/key/Key.m3