Copying and pasting the message id into the textbox on the left side here almost works... if you omit the leading zero. Otherwise the field is too short and the last digit is cut off.