Receiver mods

Receiver mini mods

Everything filed under mini by its own author, ordered by how much it is used.