Comment by ykonstant

I hope that you continue your herculean efforts to investigate the specs and insist on correctness; the resulting implementations, dug up inconsistencies and edge cases will undoubtedly be of independent interest and invaluable to the community.