node and nodejs version
In dev-setup.sh#L503, we test that the version of node is greater than 11.1 but less than 12.1. On L514, we explicitly add nodesource repo for 11.x. Further down on L523, we install nodejs in version 11.
I have updated to KDE neon 20.04, where I can install node 12 but not so easily node 11. Do we have any reason to avoid using version 12?