# See lakesea*.txt in the open repository