Moved to /design-notes.