Hotfix 0.13.3 released

Fixed a navigation issue that occurred when a sign arrow was pointed at an opposite-facing escalator, causing the escalator to sometimes be ignored.