GLPK/Searchable Help-GLPK and Bug-GLPK