async fn handle_edu_receipt_room_user( services: &Services, origin: &ServerName, room_id: &RoomId, user_id: &UserId, user_updates: ReceiptData, )