The following instructions are based on Ubuntu20.04. If you want to build a Docker image that runs on Raspberry Pi, see the article Configure and...