Release 4.7.1


(gereleased op 09-12-2021)