PingRoom: quick pings beside the room history when open

Posts and media belong to their original creators. Open the original post for the full context.