Even though v256-final is not released yet, let's v257 tag now to make not PRs for v257 conflict with each other.
This tries to add information about when each option was added. It goes back to version 183. The version info is included from a separate file to allow generating it, which would allow more control on the formatting of the final output.