Può capitare 
Comunque penso di lasciare porta 8000 perché accedo veramente poche volte in locale (al massimo se devo farlo basta mettere :8000, non è che è complicato 
), sempre in remoto e quindi la porta interna è impostata per l'ip 192.168.1.51 dal modem nel port mapping e quindi non devo inserirla io ogni volta che accedo. 
Comunque sempre buono il risparmio di flash, meglio così!
Riguardo all'issue o pullrequest... anche io sono un niubbo totale di GitHub Ma per un issue non ci vuole niente. Te lo apro volendo, ma se hai già risolto non c'è motivo.
Che poi nella config avevi scritto così, si vede benissimo che ti sei dimenticato poi di ricambiarla
- NOTE: Port 80 can not be used with DigiFi
- NOTE: Currently changing this will have no effect with most cards, FIXME
*/
#define SERVER_PORT 8000
P.S. Comunque già che c'ero l'ho aperto un piccolo issue
P.P.S. Nei link dei progetti che usano webbino, nel mio ho aggiornato il codice in allegato con anche un riferimento a questo topic per webbino