Minecraft wiki entry for Options, associated text: https://bugs.mojang.com/browse/MC-130179?focusedCommentId=455305&page=com.atlassian.jira.plugin.system.issuetabpanels%3Acomment-tabpanel#comment-455305