Thanks for bringing this to my attention.
I'm currently on study leave but hope to be able to resolve this issue with my colleagues by Monday.
I noticed that the Bayanihan domain name is no longer available in
DNS, is this a known problem? It has been an issue for 10 days.