* Steven Rostedt:> + License: The GNU Free Documentation License, Version 1.2Is it really a good idea to put files under GPL-incompatible licensesinto the tree?