Allow program arguments like file.mm#ID_123456
Merge remote-tracking branch 'origin/1.3.x' into 1.3.x