@smonff As long as you package it (in a deb) for posterity, it's a good idea. (And store it away from the current machine, etc. etc.)