#! /usr/bin/gawk -f
# Last edited on 2025-12-25 04:43:07 by stolfi

/^[ ]*([#]|$)/ { print; next; }

/^[<]f[0-9]+[rv][0-9]*[>]/ { print; next; }

// {
  if (NF != 2) { data_error("bad format") }
  loc = $1; wd = $2
  we = parse_word_into_elements(wd)
  printf "%-15s %s\n", loc, we
  next;
}