How to upgrade my Raspberry Pi 3 B+ -based Freedombox?

There is more discussion about supporting Raspberry Pi 4 on this mailing list thread
https://alioth-lists.debian.net/pipermail/freedombox-discuss/2019-December/009002.html