interface/noise.h: Actually, format this file automatically (also add a bit of manual tweaking)