Porting notes

Stream: PR reviews

[Jon Eugster]

Here are a few simple PR's related to addressing porting notes:

• #13766 ✓
• #13767 ✓
• #13928
  (see this queue) These are all rather trivial, only addressing obvious porting notes or categorising some more in the form -- Porrting note (#0000): ...., but I'd like to have them reviewed and merged first before I continue looking at trickier ones over the coming days.