currently some js are still remaining on the Info button in the top bar, as a consequence, it is not clickable sometimes. Use pure purescript only then.