While here: - Define the license. - Pet portclippy, portfmt, and portlint. PR: 241868 Submitted by: António Barbosa <amrgbarbosa77@gmail.com>