moved to https://hackmd.io/-SDjH9H8TkWDy-AtAuRKzQ