Add a small note about the extras script in docs/INSTALL