Minecraft wiki entry for Development_versions, associated text: MC-104818 – When there is no value for an argument in options.txt, it is not correctly parsed: Skipping bad option: lastServer:.
MC-117449 – options.txt is read and written with the default OS encoding.
MC-148704 – The "Server Light" section disappears then reappears.
MC-151173 – Stream used to read the options.txt file is never closed.
MC-153698 – Jumping on a boat in water for a while causes you to accumulate fall damage.
MC-158870 – Debug diagram does not allow stepping into profiler segments.
MC-166865 – The game crashed while initializing the game, with error: java.lang.IllegalArgumentException: MALFORMED.