> Should we remove the ppa after the official packages are released?
When a higher official version number is available from the archive, your system should automatically start using that. So this particular PPA is harmless to keep active but that's not true for all PPAs.
You should still remove the PPA when you no longer need it because it will raise some annoying flags from bots if you try to report new Ubuntu bugs while using a PPA.
> Should we remove the ppa after the official packages are released?
When a higher official version number is available from the archive, your system should automatically start using that. So this particular PPA is harmless to keep active but that's not true for all PPAs.
You should still remove the PPA when you no longer need it because it will raise some annoying flags from bots if you try to report new Ubuntu bugs while using a PPA.