simplify check for '0000'

Dependencies

• [2] GACNGS44 combine 2 levels of indent
• [3] EZHO4TSW new file-system format for freewheeling apps
• [4] LRDM35CE app running again
• [5] 3LU2TYSW bugfix: deleting definitions

Change contents

• replacement in live.lua at line 65
  [3.145]→[2.9:85](∅→∅)
  − if numeric_prefix and tonumber(numeric_prefix) > 0 then -- skip 0000
  [3.145]

  [2.85]
  + if numeric_prefix and not numeric_prefix:match('^0+$') then