I read at https://support.google.com/inbox/answer/6067587?hl=en-GB that one can "pin" an email message.
I can't find how or where to do that.
Is that feature a thing of the past? If it still exists, where should I be looking?
You need to use labels to be able to use pins. Then: