Hah, it is the name used by the person who reported the bug.
A subsequent patch was released 12/13 to deal with an error that was cropping around due to the new sign posts.