Thanks for the link
Please note that with the current firmware you cannot generate a 50Hz mode, the best you can do is 51.939Hz.
I'm not sure when (or if) this will be feature will be added. Another mode that was discussed is a 100Hz mode, also unsure of the status of that mode. It looks like you'd have to go with CRT to run at 100Hz anyway.