I know that email addresses, in the local part (before the @ sign), can include a +. And everything after the + can be used by the email system for filtering and other uses. But the email itself is delivered per the part before the + sign.
Example:
larry@foo.com Delivered to larry mailbox on foo.com
jim@foo.com Delivered to jim mailbox on foo.com
larry+1@foo.com Also delivered to larry mailbox on foo.com. The +1 can be
used for filtering or something else by the recipient
larry+hi_guys@foo.com Also delivered to larry mailbox on foo.com
The above works on GMail, Yahoo and other systems.
Question: Where exactly is it defined in the RFCs? I looked but couldn't find it.