How open is DigitalOcean to reduced hour (3-4 day) work weeks and what health benefit options exist for shortened weeks positions. Thank you.