py-helpdev is a stub port
