Thanks! Don't hesitate to report even minor annoyances (e.g. github issues)