docs: generate a separate ext4 pdf file from the documentation