I think we should not write "# 10070...". Looking at the rest of the file, `#12345` refers to a ticket number. If we are to change these two lines, we should also change others.
Then, maybe something like "# #12345...". Personally, I prefer the way it is already. What do you think?