Board Thread:Off Topic/@comment-26134218-20180124095718/@comment-27790518-20180125134925

Addendum 9.2. Then that means that it might mess up the entire thing if we edit the number.