The web page had different behavior before a recent code change.

Created by PseudonymousUser on 2019-03-16; known on 2019-03-16; judged wrong by PseudonymousUser on 2019-03-16.

• PseudonymousUser estimated 75% on 2019-03-16
• PseudonymousUser   judged this prediction wrong on 2019-03-16.