exit 2
fi
+# escape message id containing + or *; not going to bother escaping .
+msgid=$(echo -n "$msgid"|sed 's/\([\+\*]\)/\\\\\\\\\1/g')
+
# UGLY HACK: without sleep, push keys do not reach mutt, I _guess_ that there
# might be some terminal-related issue here, since also waiting for an input
# with "read" similarly "solves" the problem