add pxemenu-lxml.py--generate the pxe menu from web page (use lxml to
parse it)