Polska mediewistyka historyczna w czasach maszynopisu