Rename formal -> informal and update README