Include the whole GPLv2 text in the user manual