This post has now accumulated some substantial updates, which should not change the conclusion but fix possible misreadings and inaccuracies. Please refer to the HackMD post for the latest version.